proc myproc args { ... }
proc myproc {args} { ... } ;# equivalent
If the special parameter name args is the last item in the argument list, it receives a list of all arguments at that point in the command line. If there are none, the list is empty.
There can be arguments, including optional one...