-;; (test (eql (string<= "" "") 0))
-;; (test (eql (string<= "dog" "dog") 3))
-;; (test (eql (string<= " " " ") 1))
-;; (test (not (string<= "abc" "")))
-;; (test (eql (string<= "ab" "abc") 2))
-;; (test (eql (string<= "aaa" "aba") 1))
-;; (test (not (string<= "aba" "aaa")))
-;; (test (eql (string<= "my cat food" "your dog food" :start1 6 :start2 8) 11))
-;; (test (eql (string<= "cat food 2 dollars" "dog food 3 dollars"
-;; :start1 3 :end1 9 :start2 3 :end2 9) 9))
-;; (test (eql (string<= "xyzabc" "abcd" :start1 3) 6))
-;; (test (eql (string<= "abc" "abc" :end1 1) 1))
-;; (test (eql (string<= "xyzabc" "abc" :start1 3 :end1 5) 5))
-;; (test (eql (string<= "xyz" "abcxyzXYZ" :start2 3) 3))
-;; (test (eql (string<= "abc" "abcxyz" :end2 3) 3))
-;; (test (eql (string<= "xyz" "abcxyz" :end1 2 :start2 3) 2))
-;; (test (eql (string<= "xyzabc" "abcdef" :start1 3 :end2 3) 6))
-;; (test (eql (string<= "aaaa" "z") 0))
-;; (test (eql (string<= "pppTTTaTTTqqq" "pTTTxTTT" :start1 3 :start2 1) 6))
-;; (test (eql (string<= "pppTTTaTTTqqq" "pTTTxTTT"
-;; :start1 6 :end1 7
-;; :start2 4 :end2 5) 6))
+(test (eql (string<= "" "") 0))
+(test (eql (string<= "dog" "dog") 3))
+(test (eql (string<= " " " ") 1))
+(test (not (string<= "abc" "")))
+(test (eql (string<= "ab" "abc") 2))
+(test (eql (string<= "aaa" "aba") 1))
+(test (not (string<= "aba" "aaa")))
+(test (eql (string<= "my cat food" "your dog food" :start1 6 :start2 8) 11))
+(test (eql (string<= "cat food 2 dollars" "dog food 3 dollars"
+ :start1 3 :end1 9 :start2 3 :end2 9) 9))
+(test (eql (string<= "xyzabc" "abcd" :start1 3) 6))
+(test (eql (string<= "abc" "abc" :end1 1) 1))
+(test (eql (string<= "xyzabc" "abc" :start1 3 :end1 5) 5))
+(test (eql (string<= "xyz" "abcxyzXYZ" :start2 3) 3))
+(test (eql (string<= "abc" "abcxyz" :end2 3) 3))
+(test (eql (string<= "xyz" "abcxyz" :end1 2 :start2 3) 2))
+(test (eql (string<= "xyzabc" "abcdef" :start1 3 :end2 3) 6))
+(test (eql (string<= "aaaa" "z") 0))
+(test (eql (string<= "pppTTTaTTTqqq" "pTTTxTTT" :start1 3 :start2 1) 6))
+(test (eql (string<= "pppTTTaTTTqqq" "pTTTxTTT"
+ :start1 6 :end1 7
+ :start2 4 :end2 5) 6))