A  Concurrent SyncFSM to C translator