(MAP-STATUS)
(REP-B-C)
(PICK-B-C)
(FAIR-PICK-B-C)
(WAIT-STATUS)
(GO-STATUS)
(IDLE-STATUS)
(INTERESTED-STATUS)
(LEGAL-LOC)
(EXTRACT-INDICES-WITH-POS)
(POS=1+TEMP-AUX)
(POS=1+TEMP)
(LEXICOGRAPHIC-TEMP)
(SUFF-PROC)
(SUFF-B-C)
(FAIR-SUFF-B-C)
(COMMIT-PROC)
(COMMIT-B-C)
(STATUS-LIST)
(LABEL)
(INV-P-P)
(INV-P-KEYS)
(CHOOSING-POS)
(CHOOSING-BUCKET)
(Q<MAX)
(B=MAX)
(LEGAL-STATUS)
(LEGAL-STATUS-LISTP)
(LEGAL-POS)
(LEGAL-POS-LISTP)
(INV-B-C)
(FAIR-INV-B-C)
(INV-P-P-C-S)
(INV-P-KEYS-C-S)
(GO-PROCS)
(GO-QUEUE)
(KEYS-NOT-NIL)
(INV-C-S)
(SUFF-PROC-C-S)
(GO-KEYS)
(SUFF-C-S)
(COMMIT-PROC-C-S)
(COMMIT-C-S)
(REP-C-S)
