#include <stdio.h>

#include "C.h"

int main() {
  C c;
  printf ("IntroInBase: checks if the right #include is generated\n");
  printf ("======================================================\n");
  c.f ();
  printf ("======================================================\n");
}
