Details of Memcheck's Checking Machinery: 3.5.1 Valid-Value (V) Bits ...