mutable current_state = start_state