(print! 0x10)