redeclarations