add redefinition error checking