writer.println("<prototype name=" +prototype_name+ " prototype=\"" +getKind()+ "\">");
writer.print("<prototype name=" +prototype_name); if (kind != null) writer.print(" prototype=\"" +kind+ "\""); writer.println(">");
    void dump(PrintWriter writer, int indentation, int offset)    {	for (int i=0; i<indentation; i++) writer.print(' ');	writer.println("<prototype name=" +prototype_name+		       " prototype=\"" +getKind()+ "\">");	dumpLocalSlots(writer, indentation+offset, offset);	for (int i=0; i<indentation; i++) writer.print(' ');	writer.println("</frame>");    }