WALL_CLOCK_CKPT_INTERVAL = 5
PERIODIC_EXPR_INTERVAL = 10
