#include "stdio.h"

///////////
int main0()
{
	char	buf;

	tty_printf(" TASK 0 :  CYCLE COUNT \n");

	while (1) {
	tty_getc_irq(&buf);
	tty_printf("\n**** cycle = %d \n", proctime());
	}
	return 0;
} // end main0