#include <inc1.h>
#include <inc2.h>

int main(void) {
  if (INC1 + INC2 != 3)
    return 1;
  return 0;
}