asm(".byte 0x0f, 0x18, 0x08;");
asm(".byte 0x0f, 0x18, 0x08;");
asm(".byte 0x0f, 0x18, 0x08;");

main()
{
	char x[] = {0x0f, 0x08, 0x18, 0};
	printf("%s", x);
}