ddb_bits.h: include stdint