procedure main()
   write("p(1):")
   p(1)
   write("p(1, 2):")
   p(1, 2)
   write("p(1, 2, 3):")
   p(1, 2, 3)
   write("p(1, 2, 3, 4, 5):")
   p(1, 2, 3, 4, 5)
   write("q(1, 2):")
   q(1, 2)
end

procedure p(a, b, c[])
   write("   image(a):", image(a))
   write("   image(b):", image(b))
   write("   image(c):", image(c))
   write("   every write(\"\\t\", !c):")
   every write("\t", !c)
end

procedure q(a[])
   write("   every write(\"\\t\", !a):")
   every write("\t", !a)
end