public interface serverfun
{
   public cterm fun(cterm t);  
}

/* specific classes will be implemented by meta-compiler */

/*

compiler will generate code that looks like

Match[i] = new serverfun()
    {
       public cterm fun(cterm t)
       {
          int x1;
	  double x2;
	  x1 = ctermToInt(nthterm(t,1));
	  x2 = ctermToDouble(nthterm(t,2));
	  return IntToCterm( folimpl.realfun(x1,x2) );
       }
    };


all this can be in constructor of the subclass generated by the meta-compiler
for a specific integer.

*/