#include "doc1.h"
#include "foo.h"
int generated();
int wrapped();
int main ()
{
if (generated()*wrapped()*doc() == 3*5*7)
return 0;
}
return -1;