Is int in C Always 32-bit?

Question

This is related to following question,

How to Declare a 32-bit Integer in C

Several people mentioned int is always 32-bit on most platforms. I am curious if

Answer 1

No. Small embedded systems use 16 bit integers.