#include int file2() { return 1; }