Constant simics_api_sys::bindings::HAVE_UINT64

pub const HAVE_UINT64: u32 = 1;