adding builtin_redefinition exception