Implementation of RFC 6238 using Python