public static cnst make_cnst( int n ) { Object r= table[n]; if (r != null) return (cnst)r; cnst result= new cnst( n ); table[n]= result; return result; }
public static int CCNST( cnst o ) { return o.value; }