no_buffer_case defined