// redeclaration