Variable Invariant.line

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