safe identifiers.txt and stress-getRecord