5 INT_MAX can never be 10000, because is it at least 215-1. CHAR_BIT isn't 8 only on special hardware such as DSP, and if is is 8, the typedef uint8_t must exist.
INT_MAX
CHAR_BIT
uint8_t