shell$ progname
  $opt == 0
shell$ progname --opt
  $opt == 100
shell$ progname --opt 7
  $opt == 7