0: value definition checkpoint