abc.vt abc.v def.v fsm.v