BEGIN  { print 0x81c3e8, 0x744018 }