On: TinySSH is a small SSH server using NaCl, TweetNaC...

[awda]

typedef uint_least32_t u32;