// Cforall extension

// value

int 0;
const int 0;
static const int 0;
int 1;
const int 1;
static const int 1;
int 0, 1;
const 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 1, * 0;
int (1), ((1)), * (0), (* 0), ((* 0));
int * const (0), (* const 0), ((* const 0));
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;