pub unsafe extern "C" fn __must_get_valid_record(
    guest_allocation_ptr: GuestPtr,
    len: Len
) -> GuestPtrLen