Hallo Heiko,
... Stop. Gerade im Stevens nachgeschaut, return aus main() kehrt zur startup-Routine von C zurück, die dann exit aufruft, von wo dann erst die (maximal 32) exit-Handler aufgerufen werden und anschließend das I/O-cleanup stattfindet (fclose...).
Also doch eindeutig definiert... was ist der "Stevens" für ein Buch? (Lohnt sich die Anschaffung)?
Matthias