BUILD1_OK
scenario 1 (persistent read error, *val=0xffffffff): NEVER TERMINATES after 1000000 iterations (cap 1000000)
scenario 2 (hostile device, VLD always set):         NEVER TERMINATES after 1000000 iterations (cap 1000000)