import codecs


def rot13(s: str) -> str:
    """ROT-13 encode a string.
    This is not a useful thing to do, but serves as an example of a
    transformation that we might apply."""
    return codecs.encode(s, "rot_13")