0: checkpoint for shorten value definition