type loc = int * int let dummy_loc = 0, 0 let unloc x = x let make_loc x = x