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