let dummy_loc = ("", 0)