diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 479a094..a84c2ad 100644
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@@ -165,6 +165,43 @@
      1 2 'bad)
    "neg")
   
+  (test/spec-passed
+   'contract-arrow-star11
+   '(let-values ([(a b) ((contract (->* (integer?) 
+                                        (listof integer?)
+					any)
+                                   (lambda (x) (values x x))
+                                   'pos
+                                   'neg)
+                         2)])
+      1))
+  
+  (test/spec-failed
+   'contract-arrow-star12
+   '((contract (->* (integer?) (listof integer?) any)
+               (lambda (x) (values x x))
+               'pos
+               'neg)
+     #f)
+   "neg")
+  
+  (test/spec-passed
+   'contract-arrow-star13
+   '((contract (->* (integer?) (listof integer?) any)
+               (lambda (x . y) 1)
+               'pos
+               'neg)
+     1 2))
+  
+  (test/spec-failed
+   'contract-arrow-star14
+   '((contract (->* (integer?) (listof integer?) any)
+               (lambda (x . y) 1)
+               'pos
+               'neg)
+     1 2 'bad)
+   "neg")
+
   (test/spec-passed
    'contract-arrow-values1
    '(let-values ([(a b) ((contract (-> integer? (values integer? integer?))