on_cast ocaml cast_self
