##
## WARNING: old (pre-0.9.2) example.dup used to give wrong information about
## the way the following options are used. Please read the following
##
## WARNING: old (pre-0.9.2) example.dup used to give wrong information about
## the way the following options are used. Please read the following