// Cforall extension int fred() { // value { int 0; const int 0; int 1; const int 1; } static const int 0; static const int 1; { int 0, 1; const int 0, 1; } { int (0), (1); } { int ((0)), ((1)); } { static const int 0, 1; } { struct { int i; } 0; const struct { int i; } 1; } static const struct { int i; } 1; // pointer { int *0, *1; } { int *(0), *(1); } { int (*0), (*1); } { int ((*0)), ((*1)); } { int * const (0), * const 1; } { int (* const 0), (* const 1); } { int ((* const 0)), ((* const 1)); } struct { int i; } *0; // Cforall style { * int x, 0; const * int x, 0; } static const * int x, 0; * struct { int i; } 0; const * struct { int i; } 0; static const * struct { int i; } 0; { static * int x, 0; static const * int x, 0; } const * * int x, 0; }