2 context reference FILE *
9 open + unopen ==> error "files merge in inconsistent state"
10 unopen + open ==> error "files merge in inconsistent state"
13 open as unopen ==> error "open file passed as unopen"
14 unopen as open ==> error "unopen file passed as open"
17 open ==> error "open file not closed"