open407toy: button tower statemachine uses new api