test_increment_with_leading_zeros.json

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