#include <stdio.h>
#include "b.h"
void f1(void);
int main(int argc, char *argv[]) {
f1();
printf(INC_STRING);
return 0;
}
#include <stdio.h>
#include "b.h"
void f1(void);
int main(int argc, char *argv[]) {
f1();
printf(INC_STRING);
return 0;
}