if (argv.length > 0) {
in = new FileInputStream(argv[0]);
}
Preprocessor preprocessor = Preprocessor.newInstance(in);
preprocessor.defineSymbol("BITS32", "");
preprocessor.setFileResolver(new FileResolver(null));
StringWriter sw = new StringWriter();
preprocessor.print(sw);
sw.flush();
sw.close();
StringReader sr = new StringReader(sw.toString());