[Michlib-l] converting to Checkpoint