Please use noreturn_function from compiler.h