satisfy a compiler warning on noreturn