external dGeomBoxSetLengths : box_geom dGeomID -> lx:float -> ly:float -> lz:float -> unit = "ocamlode_dGeomBoxSetLengths"