ECPG bug: "unterminated quoted identifier"

void main()
{
  char *foo = "aaa\"bbb";
  EXEC SQL char *bar = "aaa\"bbb";
}