let
extend_loc (r1_start, _r1_end) (_r2_start, r2_end) = (r1_start, r2_end)