int main(argc, argv)
int argc;
char *argv[];
{
	return 0x55aa;
}