31.5.1 noreturn