interstring08.src:1:10: error: token recognition error at: '}"'