#include <startpuc.h>

void main
{
	int t = 2;
	printf("t = %d \n\r",t);
}