str @ s:len 0 n:= if ... then