decl ok