(module ctt2_collision_main
  (import ctt2_collision_cls)
  (import ctt2_collision_lib)
  (data Foo
    (ctor MkMain))
  (instance
    (class ctt2_collision_cls.MyC)
    (type (con Foo))
    (method op
      (body (lam (params (typed _x (con Foo))) (ret (con Int)) (body 1))))))