proc main
  1
  2 1 u-
  ==
endproc