PBI-10 Approval: sbcl 1.1.12 (ken)