public void show_ast_c_ver() { writer.print(name + "("); if (args != null) args.show_ast_c_ver(); writer.print(")"); }