SLOT-EXISTS-P can use LAYOUT-SLOT-TABLE for O(1) performance.