revise liveness.c