two buffers: [0, 1, 2]   the same buffer twice: [1, 1, 1]
the second load reads what the first store wrote, because nothing orders loads of one buffer against stores to the other. the caller must pass distinct buffers.
