use inttypes.h for correct print specifier for *_t types