usage: ../heimdal/debian/scripts/rfc3454.py rfc3454.txt
