set checkpoint [undo print 20] doesn't help unfortunately, so I think we could really need the redirect_variable function in magic