// "cfa-cpp -nx Abstype.c"

type T | { T x( T ); };

T y( T t ) {
    T t_instance;
    return x( t );
}

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

type U = int*;

U x( U u ) {
    U u_instance = u;
    (*u)++;
    return u;
}

int *break_abstraction( U u ) {
    return u;
}