let
dummy_loc = 0