verify-declaration -