interstring09.src:1:12: error: token recognition error at: '}"'