pub unsafe extern "C" fn PL_get_uint64_ex(
    t: term_t,
    i: *mut u64
) -> c_int