Adding support for redefining symbols