to tagtest local [ok t] ok=true t=[] tag "State1 t=lput 1 t goto "State3 tag "State2 t=lput 2 t goto "State4 tag "State3 t=lput 3 t goto "State2 tag "State4 t=lput 4 t check [t] [1 3 2 4] type [\; tag and goto \ ] ifelse not :ok [ pr [ARE NOT CORRECT!] ][ pr [look OK.] ] ; output :ok end