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

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

void f() {
    *x;
}

// Local Variables: //
// compile-command: "../../bin/cfa forward.c" //
// End: //