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