1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#include "doc1.h" int generated(); int wrapped(); int main () { if (generated()*wrapped()*doc() == 3*5*7) { return 0; } return -1; }