Před nedávnem jsem zkoušel zkompilovat SDL program v gcc se zapnutou volbou "pedantic" a nepustilo mě to přes podobný test 64-bitového intu, takže tyto asserty asi opravdu fungují a je tedy jistota velikosti typů. Něco podobného se stane v borland cpp builderu, když neurčíte ekvivalenci enumu s intem.