#include <stdio.h>

int main(void) {
	char bytes[2] = { 0x12, 0xab };
	printf("%x, %x\n", bytes[0], bytes[1]);
	return 0;
}