implemented for pytest of rot13.py