See getopt.html