pub const HAVE_GETPID: u32 = 1;