FAIL("Unexpected character `%c': `</platform_description>' expected.",surf_parse_text[0]);
YY_BREAK
case YY_STATE_EOF(E_surfxml_platform_description):
case YY_STATE_EOF(S_surfxml_platform_description_2):
case YY_STATE_EOF(S_surfxml_platform_description):
FAIL("Unexpected character `%c': `</platform_description>' expected.",surf_parse_text[0]);
YY_BREAK
case YY_STATE_EOF(E_surfxml_platform_description):
case YY_STATE_EOF(S_surfxml_platform_description_2):
case YY_STATE_EOF(S_surfxml_platform_description):