test_increment_zero_leading_zeros.json

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