I need to have a think about the syntax here, but roughly speaking:
str: 8 (str: + 1)
should result in
str: 9