noreturn run_forever() {
    while :true { }
}

noreturn work();

typedef noretfntype1 = noreturn();
typedef noretfntype2 = noreturn(int x);


() variadic1(char+> fmt, ...*);
() variadic2(char+> fmt, int x, ...*);
() variadic3(char+>, ...*);

typedef variadictype1 = ()(int x, ...*);
typedef variadictype2 = ()(int x, (int a)^ y, ...*);
typedef variadictype3 = ()(int, ...*);


noreturn variadicnoreturn(char+> fmt, ...*);
typedef variadicnoreturntype = noreturn(char+> fmt, ...*);