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