title: How do I printf() a uint16_t?
body: <p>I need to use printf() to print a uint16_t. This SO answer (<a href="https://stackoverflow.com/questions/12120426/how-to-print-uint32-t-and-uint16-t-variables-value">How to print uint32_t and uint16_t variables value?</a>) says I need to use inttypes.h.</p>
  
  <p>However, I'm working on an embedded system and inttypes.h is not available. How do I print a uint16_t when the format specifier for a uint16_t is not available?</p>