/* this file was automatically generated by mcj.java */ public interface demo { int f(int a0); String h(); int randnum(int a0,int a1); }