change Nothing to NoDecl