println("  get_subterm(t,n) { null }");
println("  get_subterm(t,n) { (((ATermAppl)t).getArgument(n)) }");
	private void genTomBuiltinTypes() {    println("%typeterm String {");    println("  implement { String }");    println("  get_fun_sym(t) { t }");    println("  cmp_fun_sym(s1,s2) { s1.equals(s2) }");    println("  get_subterm(t,n) { null }");    println("}");    println();    println("%typeterm Integer {");    println("  implement { Integer }");    println("  get_fun_sym(t) { t }");    println("  cmp_fun_sym(s1,s2) { s1.equals(s2) }");    println("  get_subterm(t,n) { null }");    println("}");    println();    println("%typeterm Double {");    println("  implement { Double }");    println("  get_fun_sym(t) { t }");    println("  cmp_fun_sym(s1,s2) { s1.equals(s2) }");    println("  get_subterm(t,n) { null }");    println("}");    println();    println("%typeterm ATerm {");    println("  implement { ATerm }");    println("  get_fun_sym(t) { t }");    println("  cmp_fun_sym(s1,s2) { s1 == s2 }");    println("  get_subterm(t,n) { null }");    println("}");    println();       println();	}