It occurs to me that isc_buffer_sprintf() might be a more intuitive name for what this does. Pushed. Also changed some existing snprintf() calls to use it. Seems to work fine.