"VALUES-TYPE-REST" "VALUES-TYPE-UNION"
"VALUES-TYPE-TYPES" "VALUES-TYPES"
"VALUES-TYPES-EQUAL-OR-INTERSECT" "VECTOR-T-P"
- "VECTOR-NIL-P" "VECTOR-TO-VECTOR*"
+ "VECTOR-NIL-P"
+ "VECTOR-SUBSEQ*"
+ "VECTOR-TO-VECTOR*"
"VECTOR-OF-CHECKED-LENGTH-GIVEN-LENGTH" "WITH-ARRAY-DATA"
"WITH-CIRCULARITY-DETECTION" "WRONG-NUMBER-OF-INDICES-ERROR"