#include <stdio.h>

main()
{
	printf("IRIX 6:\t\t%s\t\t%d\n", "0x100", 0x100);
	printf("Solaris 2:\t%s\t\t%d\n", "0x100", 0x100);
	printf("SunOS 4:\t%s\t\t%d\n", "0x0200", 0x0200);
	printf("Tru64 5:\t%s\t%d\n","00001000", 00001000);
	printf("Linux 2.2:\t%s\t\t%d\n","0100", 0100);
	printf("HP-UX 11:\t%s\t\t%d\n","0000400", 0000400);
}