# a -- necessary argument
# b -- optional argument with default value `2'
# args -- list of any further optional argument values
# (See proc(n) for details.)

proc foo {a {b 2} args} {
	# ...
}