#include <stdio.h>

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

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

void callee_with_out(FILE *f);
void in_then_call(FILE *f){
    (void)fgetc(f);
    callee_with_out(f);
}

void callee_with_out(FILE *f){
    (void)fputc('b', f); /* 'Output after Input without Positioning' warning issued here
                          * - no intervening positioning operation when callee_with_out() is called from in_then_call()
                          */
}

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