Yes, it is our responsibility to not name globals with the convention we use for registers, but the assertion is very good to have.