typespec: getopt/2,3