proc demo {argument1 {default "DefaultValue"} {
  puts "This is a demo proc.  It is being called with $argument1 and $default"
  }

puts "The args for demo are: [info args demo]
"
puts "The body for demo is:  [info body demo]
"
   
set arglist [info args demo]   

foreach arg $arglist {
  if {[info default demo $arg defaultval]} {
    puts "$arg has a default value of $defaultval"
    } else {
    puts "$arg has no default"
    }
  }