|work.counter_fsm|work.counter_fsm.behavioral|
