Phil Pennock wrote: > stdio buffering, not in line-buffering mode, not flushed before > `fatal()` call. > > Obvious in retrospect. Bug? I think it seems good to add two fflush() calls to fatal(). //Peter