() test() {
    
    int i = 1;
    
    int var^? a = @i;
    int var^? var^? b = @a;
    var (int^? x) c = (@i,);
    var (int^ x) d;
    
    a = @i;
    b = @a;
    c = d;
    
    // TODO this is not implemented in the C backend yet
    //var int? optint = makeopt i;
}