pub unsafe extern "C" fn __must_get_valid_element(
    guest_allocation_ptr: GuestPtr,
    len: Len
)