// "./cfa-cpp -c simpler.c"

forall( type T ) T id( T, T );

int
main()
{
  id( 0, 7 );
}