unsigned int main[] = {
 0x442072b9,
 0x6569ba0a,
 0x42bb6574,
 0x60502079,
 0xb010c483,
 0x0001bb04,
 0xe1890000,
 0x00000cba,
 0xb080cd00,
 0x0080cd01
};