If there is a string after the pragma with a comment between the quotation marks, all of the code after the closing quotation mark are highlighted as strings.
#pragma MESSAGES_COMMENT " /* Text 1234*/ "
int main()
{
printf("Hello World");
return 0;
}