misc/getopt