external dWorldSetContactMaxCorrectingVel : dWorldID -> vel:float -> unit = "ocamlode_dWorldSetContactMaxCorrectingVel"