What gets sent to the fsm, can you overload `E` like this in one statement?