pub fn merge_u64(guest_ptr: u32, len: u32) -> u64