> Types are identical to C types, e.g. int is 32 bits
int in C can be anything with at least 16 bits.
int in C can be anything with at least 16 bits.
This seems potentially confusing, since usually "int" just refers to a signed integer of some platform specific size.
Maybe it would be better to say something like, "int is like uint32_t, 32 bits and no sign bit without any additional data"?