(defclass implicit-progn-with-declare-mixin (implicit-progn-mixin) ((declares :accessor declares :initarg :declares)))