maint: use noreturn, not ATTRIBUTE_NORETURN