[impl] empty state machine