#include "types.h"
#include "api.h"
void f2(){
	cputs("t2\n");
}
void f1(){
	cputs("t1\n");
	f2();
	cputs("t3\n");
}
void start(){
	cputs("t0\n");
	f1();
	cputs("t4\n");
}