Redeclaration of ISA