external dWorldGetContactMaxCorrectingVel : dWorldID -> float = "ocamlode_dWorldGetContactMaxCorrectingVel"