Comment 5 for bug 1806206

@JP, wouldn't this same problem occur with the old sscanf() based parser? If so, then we probably should not allow utf8 characters as symbol names which would effectively be a file format change. Fixing the parser is an option if we want to allow utf8 characters in legacy file formats.