rfc3454 for common lisp