pub const PT_MIPS_OPTIONS: u32 = 0x7000_0002;