pub const IPOPT_TIMESTAMP: u32 = 68;