define __STDC_FORMAT_MACROS to use PRId64