             char buf[000];             char lbuf[00];             if (lineno != 0)                 VMPI_sprintf(lbuf, "%d", lineno);             else                 VMPI_strcpy(lbuf, "Unknown");             {                 char fbuf[000];                 formatUtf0(fbuf, sizeof(fbuf), filename);                 VMPI_snprintf(buf, sizeof(buf), "%s:%s: 