Symbols mapping

Writing symbol mapping to a file.