Apply previous change even if valgrind is not in use, since it avoids undefined behavior. This is simpler.
Attach a file by drag & drop or click to upload
