// Operators and generic types.

using System;

class X[T]
{
  public  mutable  Count : int;

  public this (mutable  count : int)
  {
    this.Count = count;
  }

  public static @++ ( operand : X[T]) :  X[T] {
      X (operand.Count + 1);
  }
}

class Test
{
  static Main () :  void
  {
    mutable  x =  X (5);
    Console.WriteLine (x.Count);
    x++;
    Console.WriteLine (x.Count);
  }
}
/*
BEGIN-OUTPUT
5
6
END-OUTPUT
*/