Der Return Code steht immer auf dem Stack (auch beim call).

Hier geht es in der Hauptsache darum, das möglichst einfach in C zu realisieren. In assembler ruft man einfach stets diesselbe Unterroutine auf. Der C Compiler generiert aber jede Menge zusätzlichen Code und den möchten wir nach Möglichkeit einsparen.