File "pr4435_bad.ml", line 14, characters 6-7:
14 | class c (v : int) =
           ^
Error: Multiple definition of the class name c.
       Names must be unique in a given structure or signature.