Writing symbol mapping to a file and replacing symbol in crashes