Type T = (aa,bb,cc,dd,ee,ff,gg,hh);
     Tset = set of t;

Var a: Tset;

Begin
  If (aa in a^) Then begin end;
  {it seems that correct code is generated, but the syntax is wrong}
End.