(with s "12345"
    (= s String((+ (to-Int s) 1))))
    (textout s))