+(test (= 5
+ (do (x) (t 5))))
+(test (= 5
+ (do ((x)) (t 5))))
+(test (= 5
+ (do ((x nil)) (t 5))))
+(test (= 5
+ (do ((x nil nil)) (t 5))))
+
+; DO*
+(test (do* ((a 0 b)
+ (b 1 (+ a b))
+ (n 0 (1+ n)))
+ ((= n 10)
+ (= a 512))))
+(test (= 5
+ (do* (x) (t 5))))
+(test (= 5
+ (do* ((x)) (t 5))))
+(test (= 5
+ (do* ((x nil)) (t 5))))
+(test (= 5
+ (do* ((x nil nil)) (t 5))))