%decls;