Liveness.cpp.