aux_buffer_t