PAIRSIZE
FREESPACE(bp) >= PAIRSIZE(key, val)) {
FREESPACE(sp) = free_space - PAIRSIZE(key, val);
(PAIRSIZE((K),(D)) + OVFLSIZE) <= FREESPACE((P)))