pub const PR_GET_TIMING: c_int = 13;