Karatsuba multiplication in SBCL. #lisp