',(type-specifier value-type)))
;; KLUDGE: FILTER-CONTINUATION does not work for
;; non-returning functions, so we declare the return type of
',(type-specifier value-type)))
;; KLUDGE: FILTER-CONTINUATION does not work for
;; non-returning functions, so we declare the return type of