buffer_empty
buffer_empty(isc_buffer_t *source);
if (result == ISC_R_SUCCESS && !buffer_empty(source))
if (buffer_empty(source))
} while (!buffer_empty(source));
} while (!buffer_empty(source));