1165   ProgramStateRef StateFailed =  in evalFreadFwrite()  local
1227   ProgramStateRef StateFailed;  in evalFgetx()  local
1281   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);  in evalFputx()  local
1307   ProgramStateRef StateNotFailed, StateFailed;  in evalFprintf()  local
1369   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);  in evalFscanf()  local
1399   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);  in evalUngetc()  local
1452   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);  in evalGetdelim()  local
1505   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);  in evalFseek()  local
1519   ProgramStateRef StateNotFailed, StateFailed;  in evalFgetpos()  local
1538   ProgramStateRef StateNotFailed, StateFailed;  in evalFsetpos()  local
1573   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);  in evalFtell()  local
1633   ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE);  in evalFflush()  local