PRId64 in destor.c