the exported state machine diagram