def main(args=[], prog_name=sys.argv[<NUM_LIT:0>]):
helpStr = "<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT>" +"<STR_LIT:U+0020>"<EOL>if len(args) == <NUM_LIT:0> or (len(args) == <NUM_LIT:1> and isHelpString(args[<NUM_LIT:0>])):<EOL><INDENT>sys.stderr.write(helpStr + "<STR_LIT>")<EOL><DEDENT>else:<EOL><INDENT>arg_one = args[<NUM_LIT:0>].strip().lower()<EOL>if arg_one == "<STR_LIT>":<EOL><INDENT>main_build_index(args[<NUM_LIT:1>:])<EOL><DEDENT>elif arg_one == "<STR_LIT>":<EOL><INDENT>main_lookup_index(args[<NUM_LIT:1>:])<EOL><DEDENT>else:<EOL><INDENT>raise PyokitUIError("<STR_LIT>" + arg_one)<EOL><DEDENT><DEDENT>
Figure out which of the two options was used (build, get) and dispatch.

    :param args:      the arguments for this script, as a list of string. Should
                      already have had the script name stripped, so we expect the
                      first item in this list to specify the mode ('build' an
                      index or 'get' elements from an indexed file).
    :param prog_name: the name of the script; taken from command line args by
                      default, but you can change it if you want.