> There seems no sensible reason why ints are 32 bit on a 64 bit platform
Try storing a few billion of them, they're half the size.
> In C code that we write, we have a rule that every use of plain 'int' must be justified - it's a "code smell"
Current MISRA C requires this.