First cut at tracking definedness, a la valgrind.