isc__buffer_putuint32
isc__buffer_putuint32(isc_buffer_t *b, uint32_t val);
#define isc_buffer_putuint32 isc__buffer_putuint32