Constant simics_api_sys::HAVE_UINT64

pub const HAVE_UINT64: u32 = 1;