!7

p-exp {
  b(a());
}

void <A> b(A a) {}

void a() {}