let map_loc f =
              object
                inherit map as super
                  
                method loc = fun x -> f (super#loc x)
                  
              end