#include <exec/types.h>

void	main(void)
{
//  *((int*) 0x4f000000)	=	0;
//  *((int*) 0x00300000)		=	0;
  asm("tw 31,0,0");
}