diff --git a/parse-bytecode-5.1.1.rkt b/parse-bytecode-5.1.1.rkt
index 4b5afc9..6293d26 100644
--- a/parse-bytecode-5.1.1.rkt
+++ b/parse-bytecode-5.1.1.rkt
@@ -378,11 +378,23 @@
        [else
         (string->symbol (format "~s" name))])]
     [else
-     (error "lam name neither symbol nor vector: ~e" name)]))
+     'unknown
+     ;; The documentation says that the name must be a symbol or vector, but I'm seeing cases
+     ;; where it returns the empty list when there's no information available.
+     ]))
+
+
 
 
 (define (parse-case-lam exp)
-  (error 'fixmecaselam))
+  (match exp
+    [(struct case-lam (name clauses))
+     (let ([case-lam-label (make-lam-label)])
+       (make-CaseLam (extract-lam-name name)
+                     (map (lambda (l) (parse-lam l (make-lam-label)))
+                          clauses)
+                     case-lam-label))]))
+
 
 (define (parse-let-one expr)
   (match expr
diff --git a/test-parse-bytecode-5.1.1.rkt b/test-parse-bytecode-5.1.1.rkt
index ddd10cb..a7d6fde 100644
--- a/test-parse-bytecode-5.1.1.rkt
+++ b/test-parse-bytecode-5.1.1.rkt
@@ -2,6 +2,7 @@
 
 (require compiler/zo-parse
          rackunit
+         racket/match
          (for-syntax racket/base)
          "parse-bytecode-5.1.1.rkt"
          "lexical-structs.rkt"
@@ -262,6 +263,40 @@
                                   (make-App (make-PrimitiveKernelValue 'current-continuation-marks) '()))))
 
 
+(begin (reset-lam-label-counter!/unit-testing)
+       (check-true (match (run-my-parse #'(case-lambda))
+                     [(struct Top ((struct Prefix (list))
+                                   (struct CaseLam ((? LamPositionalName?) (list) 'lamEntry1))))
+                      #t])))
+
+(begin (reset-lam-label-counter!/unit-testing)
+       (check-true (match (run-my-parse #'(case-lambda [(x) x]
+                                                       [(x y) x]
+                                                       [(x y) y]))
+                     [(struct Top ((struct Prefix (list))
+                                   (struct CaseLam ((? LamPositionalName?) 
+                                                    (list (struct Lam ((? LamPositionalName?) 
+                                                                       1
+                                                                       #f
+                                                                       (struct LocalRef ('0 '#f))
+                                                                       '()
+                                                                       'lamEntry2))
+                                                          (struct Lam ((? LamPositionalName?)
+                                                                       2
+                                                                       #f
+                                                                       (struct LocalRef ('0 '#f))
+                                                                       '()
+                                                                       'lamEntry3))
+                                                          (struct Lam ((? LamPositionalName?)
+                                                                       2
+                                                                       #f
+                                                                       (struct LocalRef ('1 '#f))
+                                                                       '()
+                                                                       'lamEntry4)))
+                                                    'lamEntry1))))
+                      #t])))
+
+
 ;; make sure we don't see an infinite loop
 #;(run-zo-parse #'(letrec ([g (lambda () (g))])
                   (g)))