InputStream in = System.in;
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();