noreturn attribute to function