The road to Zettalinux

> let's also map the Rust unit type () to short bool

Is short bool then going to be signed or unsigned (or something in between, like char)?

We would need unsigned short bool and signed short bool to have proper sign extension support when going from 0-bit values to e.g. 32-bit values.

And of course, don't forget the new stdint.h typedefs: uint0_t and int0_t (for unsigned short bool and signed short bool).