Stronger typing of [two_buffer_case]