tapir/getopt
