use newly introduced allow-undeclared-identifiers