#include "i1.h"
int x = 42;