*/
public static String renderProgram(Block program) {
StringBuilder sb = new StringBuilder();
TokenConsumer tc = program.makeRenderer(sb, null);
program.renderBody(new RenderContext(tc));
tc.noMoreTokens();
return sb.toString();
}
protected String formatShort(FilePosition p) {
StringBuilder sb = new StringBuilder();