#include "3.h" int t2(void) { return 2; }