Timon Gehr: > Maybe a better solution would be to have @noreturn functions in the language. (or, > prettier, a type of which no values exist). Yeah. Recently Walter has added something like that inside the DMD source code. GNU C uses (noreturn). Bye, bearophile