able to denote fsm and counter