add `noreturn` attribute to functions returning !