Variable Invariant.index

class Invariant
{
  // ...
  ulong index ;
  // ...
}