31 uint32_t bad_input[] = {
32 0x00000000, 0xFFFFFFFF, 0x12345678, 0x9ABCDEF0, 0x01110001,
33 0xDEADC0DE, 0xBAADF00D, 0xDABADEEE, 0xDABAD111, 0xB000DEAD,
34 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
37 reinterpret_cast<uword>(&bad_input[0]),