unsigned main[] = {
  0x8943db31,
  0x02e0c1d8,
  0xe2d1c289,
  0x7268c201,
  0x680a646c,
  0x6f77206f,
  0x6c654868,
  0xcde1896c,
  0x80cd9380
};