hprintln("#include \"" + output + "_dict.h\"");
hprintln("#include \"" + apiName + "_dict.h\"");
	private void genPrologue()  {		/* Header stuff */		macro = "_" + output.toUpperCase() + "_H";		StringBuffer buf = new StringBuffer();		for (int i = 0; i < macro.length(); i++) {			if (Character.isLetterOrDigit(macro.charAt(i))) {				buf.append(macro.charAt(i));			}			else {				buf.append('_');			}		}		macro = buf.toString();		hprintln("#ifndef " + macro);		hprintln("#define " + macro);		//{{{ Output includes		hprintln();		hprintFoldOpen("includes");		hprintln("#include <aterm1.h>");		hprintln("#include \"" + output + "_dict.h\"");		hprintFoldClose();		hprintln();		//}}}		//{{{ Copy prologue file verbatim		if (prologue != null) {			hprintFoldOpen("prologue");			InputStream stream;			try {				stream = new FileInputStream(prologue);				while (true) {				    int b = stream.read();					if (b == -1) {						break;					}				hwrite(b);				}			} catch (FileNotFoundException e) {				System.out.println("Could not find prologue file");				System.exit(1);			} catch (IOException e) {				System.out.println("Could not read from prologue file");				System.exit(1);			}						hprintFoldClose();		}		//}}}		/* Source stuff */		println("#include <assert.h>");		println();		println("#include <aterm2.h>");		println("#include <deprecated.h>");		println("#include \"" + output + ".h\"");		println();	}