/* this file was automatically generated by mcj.java */

public class demoserver extends colserver
{  private demo server;

  public demoserver()
  {
	server = new demoimpl();
	Match = new serverfun[3];
	Match[0] = new serverfun()
	  {
		public cterm fun(cterm t)
		{
		  int x1 = ctermToint(nthterm(t,1));
		  return intToCterm(server.f(x1));
		}
	  };

	Match[1] = new serverfun()
	  {
		public cterm fun(cterm t)
		{
		  return StringToCterm(server.h());
		}
	  };

	Match[2] = new serverfun()
	  {
		public cterm fun(cterm t)
		{
		  int x1 = ctermToint(nthterm(t,1));
		  int x2 = ctermToint(nthterm(t,2));
		  return intToCterm(server.randnum(x1,x2));
		}
	  };

  }

  public static void main(String[] args)
  {
	demoserver serverobj = new demoserver();
	serverobj.serve();
  }
}