I agree, there is a different conception of the shorthand 'int' between classic C and managed languages using the common type system, since the CTS doesn't consult the system on which it's compiled to see what size an integer should be. However that's not the same as saying 'int' will always represent a 32 bit integer. I think the idea is that if, say, 64 bit systems became the standard, 'int' might eventually map to Int64. Obviously, that would require a release of the framework (or at least the CTS), but the possibility definitely exists, and there are numerous warnings to that effect in the documentation. In such a case, source compiled using 'int' could take on a different meaning than code written using the (more explicit) 'Int32' under the updated type system. That said, do I typically fully qualify all of my integral type declarations? No, not really. Do I lay awake nights worrying about it? No, not really. :)
The most exciting phrase to hear in science, the one that heralds the most discoveries, is not 'Eureka!' ('I found it!') but 'That's funny...’