import String;

public str IncrNumStr(str s) = "<toInt(s) + 1>";