const IOCSCTTY: type = if (is_mips) 0x7472 else ;