;+ REACH (DEFUN SPLIT-VECTOR (DELIMITER VECTOR START END FROM-END COUNT REMOVE-EMPTY-SUBSEQS TEST TEST-NOT KEY))  <1>
; + REACH (COND ((AND # #) (SPLIT-VECTOR-FROM-START # VECTOR START END COUNT REMOVE-EMPTY-SUBSEQS)) ((AND # TEST-NOT) (SPLIT-VECTOR-FROM-START # VECTOR START END COUNT REMOVE-EMPTY-SUBSEQS)) ((AND FROM-END #) (SPLIT-VECTOR-FROM-END # VECTOR START END COUNT REMOVE-EMPTY-SUBSEQS)) (T (SPLIT-VECTOR-FROM-END # VECTOR START END COUNT REMOVE-EMPTY-SUBSEQS)))  <33>
;  + REACH (AND (NOT FROM-END) TEST-NOT)  <133>
;   - EVAL-ALL TEST-NOT  <136>
;  - FIRST-NON-NULL (AND (NOT FROM-END) TEST-NOT)  <37>
;  + REACH (AND FROM-END (NULL TEST-NOT))  <137>
;   - FIRST-NULL FROM-END  <139>
;  - FIRST-NON-NULL T  <40>
;+ REACH (DEFUN SPLIT-VECTOR-FROM-START (POSITION-FN VECTOR START END COUNT REMOVE-EMPTY-SUBSEQS))  <5>
; + REACH (AND COUNT (>= NR-ELTS COUNT))  <53>
;  - EVAL-ALL (>= NR-ELTS COUNT)  <56>
;+ REACH (DEFUN SPLIT-LIST-INTERNAL (PREDICATE LIST START END COUNT REMOVE-EMPTY-SUBSEQS KEY))  <6>
; + REACH (OR END (LENGTH LIST))  <65>
;  - EVAL-ALL (LENGTH LIST)  <68>
;+ REACH (DEFUN SPLIT-LIST (DELIMITER LIST START END FROM-END COUNT REMOVE-EMPTY-SUBSEQS TEST TEST-NOT KEY))  <11>
; + REACH (IF TEST-NOT (LAMBDA (X) (NOT #)) (LAMBDA (X) (FUNCALL TEST DELIMITER X)))  <57>
;  - NON-NULL TEST-NOT  <59>
;- REACH (DEFUN SPLIT-EXTENDED-SEQUENCE (DELIMITER SEQUENCE START END FROM-END COUNT REMOVE-EMPTY-SUBSEQS TEST TEST-NOT KEY))  <12>
;- REACH (DEFUN SPLIT-EXTENDED-SEQUENCE-IF (PREDICATE SEQUENCE START END FROM-END COUNT REMOVE-EMPTY-SUBSEQS KEY))  <13>
;- REACH (DEFUN SPLIT-EXTENDED-SEQUENCE-IF-NOT (PREDICATE SEQUENCE START END FROM-END COUNT REMOVE-EMPTY-SUBSEQS KEY))  <14>
;- REACH (DEFUN SPLIT-EXTENDED-SEQUENCE-FROM-END (POSITION-FN SEQUENCE START END COUNT REMOVE-EMPTY-SUBSEQS))  <15>
;- REACH (DEFUN SPLIT-EXTENDED-SEQUENCE-FROM-START (POSITION-FN SEQUENCE START END COUNT REMOVE-EMPTY-SUBSEQS))  <16>
;+ REACH (DEFUN CHECK-TESTS (TEST TEST-P TEST-NOT TEST-NOT-P))  <17>
; + REACH (WHEN (AND TEST TEST-P TEST-NOT TEST-NOT-P) (ERROR Cannot specify both TEST and TEST-NOT.))  <21>
;  + REACH (AND TEST TEST-P TEST-NOT TEST-NOT-P)  <25>
;   - FIRST-NULL TEST  <27>
;   - FIRST-NULL TEST-NOT  <31>
;   - EVAL-ALL TEST-NOT-P  <32>
;  - NON-NULL (AND TEST TEST-P TEST-NOT TEST-NOT-P)  <23>