isc_buffer_getuint32
ttl = isc_buffer_getuint32(source);
secs = isc_buffer_getuint32(&optbuf);
serial = isc_buffer_getuint32(
isc_buffer_getuint32(isc_buffer_t *b);