0x0bad10 - 0x0bad17 の書換でおkだった。