Comment by xigoi

> Types are identical to C types, e.g. int is 32 bits

int in C can be anything with at least 16 bits.