// test all qualifiers on a pointer
() gc^ test_gc;
() own^ test_own;
() shared^ test_shared;
() var^ test_var;
() var own^ test_var_own;

// variables
var () va;
var int vb;
var int vc = 0;
var (int x, int y) vd;
(var int^)(shared int^ a)^ ve; // should need "var" also! (or create "ptrvar" for this purpose?)

// functions
() fa(shared int^ a);
(var int^) fb();
(var int^ z) fc();
(var int^) fd(shared int^ a);

// types
typedef ta = (
    int a,
    const int b,
    var int^ c,
);

// generic types
typedef gta[T] = (
    var T^ a,
    T^ b,
);

// generic variables
gta[int] vta;
gta[var int] vtb;
var gta[int] vtc;