Argggs!
Check the Tcl documentation, if a Tcl proc is defined with an args parameter, any trailing parameters passed to a call will be packaged up as a Tcl list. But how the list is printed depends on the situation.
Example:
% proc myproc {arg1 arg2 args} {
puts $arg1
puts $arg2
puts $args
puts [list $arg1 $arg2 $args]
}% myproc a b
a
b
a b {}
% myproc a b c d e
a
b
c d e
a b {c d e}