Checkpoint: newMem (for lack of a better name)