Mark non-returning function as noreturn to help some compiler versions