Constant KINFO_FILE_SIZE 

pub const KINFO_FILE_SIZE: c_int = 1392;