Variable Invariant.index

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