begin
  _1=:a;_2=:a;_3=:a;_4=:a;_5=:a
  ^~ _1 is reserved for numbered parameters
        ^~ _2 is reserved for numbered parameters
              ^~ _3 is reserved for numbered parameters
                    ^~ _4 is reserved for numbered parameters
                          ^~ _5 is reserved for numbered parameters
  _6=:a;_7=:a;_8=:a;_9=:a;_10=:a
  ^~ _6 is reserved for numbered parameters
        ^~ _7 is reserved for numbered parameters
              ^~ _8 is reserved for numbered parameters
                    ^~ _9 is reserved for numbered parameters
end

