test_increment_with_changing_leading_zeros.json

1{"Put":{"state":"099ˇ9\n"}}
2{"Key":"ctrl-a"}
3{"Get":{"state":"100ˇ0\n","mode":"Normal"}}
4{"Key":"2"}
5{"Key":"ctrl-x"}
6{"Get":{"state":"99ˇ8\n","mode":"Normal"}}