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