def METHOD_NAME(spec, state):
    transition_to_valid_shard_slot(spec, state)
    transition_to(spec, state, state.slot + 1)  # Make len(offset_slots) == 1
    spec.initiate_validator_exit(state, 0)
    assert state.validators[0].withdrawable_epoch < spec.FAR_FUTURE_EPOCH
    yield from run_process_custody_final_updates(spec, state)
    assert state.validators[0].withdrawable_epoch == spec.FAR_FUTURE_EPOCH