pub const PR_SET_FPEXC: u32 = 12; // 12u32