On Tue, 29 Oct 2019 13:57:05 +0100, Volker Wysk <post at volker-wysk.de> wrote: > That's what I meant to say: the compiler should take into account that > main/2 is a special case. Why? To help people write programs that always abort? There is no point in doing that. Zoltan.