Made the new symbols local