/* PR 4713 */

#include "940712-1.h"
#include "940712-1a.h"
#include "940712-1b.h"

/* comment start in comment error
/* in a .c file */

int main ()
{
    return 0;
}