1 // %inserted code %header from file inserted_header4(int i)2 int inserted_header4(int i) { return inserted_header3(i); } 3