pub const PR_FP_EXC_NONRECOV: u32 = 1; // 1u32