Parse error: syntax error, unexpected identifier "����" in /misc/HomePages/UserHomePages/i57/beckert/pub/safecomp2009.pdf on line 133