equiv_simple_v_fsm.ys 323 Bytes