println("    return get" + FactoryGenerator.getFactoryClassName(apiName) + "().make" + altClassName +
println("    return get" + FactoryGenerator.className(apiName) + "().make" + altClassName +
	private void genAltMake(Type type, Alternative alt) {		String altClassName = AlternativeGenerator.getAltClassName(type,alt);    		println("  protected aterm.ATermAppl make(aterm.AFun fun, aterm.ATerm[] i_args," +				" aterm.ATermList annos) {");		println("    return get" + FactoryGenerator.getFactoryClassName(apiName) + "().make" + altClassName +				"(fun, i_args, annos);");		println("  }");		}