external dAreConnected : a:dBodyID -> b:dBodyID -> bool = "ocamlode_dAreConnected"