1  <0> enter 
2  <;> nextstate(main 1 -e:1) v
3  <0> padsv[$foo:1,2] vPM/LVINTRO
4  <@> leave[1 ref] vKP/REFC