SBCL 2.2.9.debian gives 20 for the 1st example, as expected. OP might want to double-check that result.
SBCL 2.2.9.debian gives 20 for the 1st example, as expected. OP might want to double-check that result.