+#else
+ /*printf(" %*I64u %*I64u (%ds)", pcwidth,
+ align_uint64(&d->pcnt), bcwidth,
+ align_uint64(&d->bcnt), d->expire);*/
+
+ //XXX workaround here, for multiple I64 on the same printf
+ printf(" %*I64u",pcwidth,align_uint64(&d->pcnt));
+ printf(" %*I64u",bcwidth,align_uint64(&d->bcnt));
+ printf(" (%ds)",d->expire);
+#endif