typedef [abstract] struct foo_s * foo;

foo g();
int f(foo e);