let no_obj () = Obj.magic dummy_loc