package fsmcontract type Machine interface { Reset() Handle() HandleError(error) }