Constant simics_api_sys::HAVE_ISINF

pub const HAVE_ISINF: u32 = 1;