begriffs Mark noreturn functions as such

Latest commit 13cec6e

Mar 10, 2018