use our own _noreturn_ macro