let
cleanup_name state = { state
with
name = get_fresh state.name }