static void main(void)
{
	int i;
	i = __builtin_inb(0x1234);
	int j;
	j = __builtin_inb(0xabcd);

}