Add buffer correctness test.