int @max = 3; int main() { int x; type @type(type t); // compiler intrinsic type @widest(type t); @type(x) *y; // gcc: typeof(x) *y; const @widest(double) *w; // gcc: const typeof(x) *w; * @type(3 + 4) z; // cfa declaration syntax y = @max; z = @max(x) + @size(int); y = @min(3 + 4); if ( @const(x) ) { } if ( @volatile(y) ) { } if ( @extern(y) ) { } if ( @static(y) ) { } @max; } int @foo(int) { return 7; }