example server_cleanup.fsm