/ocaml-binary-annot/testsuite/tests/typing-objects/