Stronger typing of [one_buffer_case]