---
> printf("%-8llu %-8llu %-8llu ",
> (unsigned long long) BPFEXT(bde_rcount),
> (unsigned long long) BPFEXT(bde_dcount),
> (unsigned long long) BPFEXT(bde_ccount));
%-8llu and unsigned long long? why truncate to 33 bits?