type
  pFoo = ^tFoo; { allowed despite tFoo not yet being defined }
  tFoo = record
           value1, value2: integer;
         end;