lean\lp(save): preserving the state