8023-decl