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; }