let
no_obj () =
Obj
.magic dummy_loc