RosettaCodeData/Task/Increment-a-numerical-string/Seed7/increment-a-numerical-string.seed7

var string: s is "12345";

s := str(succ(integer parse s));