In practice this means we must use "sudo_noreturn static foo(void)" instead of "static sudo_noreturn foo(void)".