^src/gen-getopt.py