Create rfc5234.py