let var str:string:="\tabcd" in 1 end