isc__buffer_putuint48
isc__buffer_putuint48(isc_buffer_t *b, uint64_t val);
#define isc_buffer_putuint48 isc__buffer_putuint48