moving this may break #3421. can you instead move the `include <inttypes.h>` after the `include "platform.h"`? I think that is safe