alloy2/bin/gnu/getopt
