const IOCGSID: type = if (is_mips) 0x7416 else 0x5429;