Fixup: remove __noreturn__ from ws_exec() prototype