// "./cfa-cpp -nc forward.c"

forall(type T) lvalue T *?( T* );
int ?=?( int*, int );

struct q { int y; };
struct q *x;

void f() {
    *x;
}