in "comp-decls.red"$
