oops/src/lib/getopt
