} else if ("-jtype".startsWith(args[i])) { jtype = true;
	public final static void main(String[] args) throws IOException {		String input = "-";		InputStream inputStream;		if (args.length == 0) {			usage();		}		for (int i = 0; i < args.length; i++) {			if ("-help".startsWith(args[i])) {				usage();			} else if ("-verbose".startsWith(args[i])) {				verbose = true;			} else if ("-prefix".startsWith(args[i])) {				prefix = args[++i];			} else if ("-output".startsWith(args[i])) {				output = args[++i];			} else if ("-prologue".startsWith(args[i])) {				prologue = args[++i];			} else if ("-input".startsWith(args[i])) {				input = args[++i];			} else if ("-compatible:term".equals(args[i])) {				make_term_compatibility = true;			} else if ("-jtom".startsWith(args[i])) {				jtom = true;			} else {				usage();			}		}		if (input.equals("-")) {			inputStream = System.in;			if (output == null) {				usage();			}		} else {			inputStream = new FileInputStream(input);			if (output == null) {				int extIndex = input.lastIndexOf((int) '.');				output = input.substring(0, extIndex);			}			run(inputStream);		}	}