procedure mpy(arg1,arg2)
   return {
      (integer(arg1) * integer(arg2)) |
      (if (arg1 | arg2) == "0" then "0") |
      (if arg1 == arg2 then symop(arg2,"^","2")) |
      (if arg1 == "1" then arg2) |
      (if arg2 == "1" then arg1) |
      symop(arg1,"*",arg2)
      }
end
