insert( new, r )
	RecordArray r;
	ArrayEntry new;

	{int i, j;
	extern int n;
	n++;
	for (j=n; j>1; j=i)	{
		i = j/2;
		if ( r[i].k >= new.k ) break;
		r[j] = r[i];
		}
	r[j] = new;
	};