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