pub const CTLFLAG_KERN: c_int = 0x01000000;