[armedbear-devel] PATCH to StopExtendingLisp for 12281