volatile char i;
void main(void) {
  i = 5;
#include "incl_f2.c"
  i++;
}