#include <stdint.h>

// FIXME: These are not correct
#define PRId64 "d"
#define PRId32 "d"