let
dummy_loc = (
""
, 0)