int main(void)
{
	char str[17];
#define P(e) (*(unsigned long *)(e))
	__asm__("cpuid"
		: "=a"P(str), "=b"P(str+4), "=c"P(str+8), "=d"P(str+12)
		: "a"(0x8fffffff), "b"(0), "c"(0), "d"(0)
	);
	str[16] = '\n';
	write(1, str, sizeof(str));
	return 0;
}