Melange-generated API for timedfsm adapters
Update main