external dWorldGetContactSurfaceLayer : dWorldID -> float = "ocamlode_dWorldGetContactSurfaceLayer"