({-1 string x; x+1}\) 1