A direct translation of TweetNaCl into Common Lisp