Eventually we'll need to make sure that a) libroken's stdint.h defines the max integer types, b) the libroken *printf()s can handle all the standard length and conversion specifiers.
704a8a1d37