2 ms·

I don't think there's anything implicitly wrong with a 40 year old type theory. Rather, C's type system is pretty decrepit.