Use a larger invalid attribute bitcode number