#include <stdio.h>

void out_in(FILE * f){
    (void)fputc('b', f);
    (void)fgetc(f);     /* 'Input after Output without Positioning' warning issued here */
}

int out_other_in(FILE * f){
    int x = 1;
    int y = 2;
    (void)fputc('b', f);
    x += y;
    (void)fgetc(f);      /* 'Input after Output without Positioning' warning issued here
                          * - input operation does not need to immediately follow output operation
                          */
    return x;
}

void callee_with_in(FILE *f);
void out_then_call(FILE *f){
  (void)fputc('b', f);
  callee_with_in(f);
}

void callee_with_in(FILE *f){
  (void)fgetc(f);        /* 'Input after Output without Positioning' warning issued here
                          * - no intervening positioning operation when callee_with_in() is called from out_then_call()
                          */
}

void out_position_in(FILE * f){
    (void)fputc('b', f);
    (void)fseek(f, 0, SEEK_SET);
    (void)fgetc(f);                  /* ok: intervening call to fseek() */
}