let var s : string := "\072\105\033" in end