int CheckedLocalCSeq { get; set; }

Property CheckedLocalCSeq As Integer
	Get
	Set

property int CheckedLocalCSeq {
	int get ();
	void set (int value);
}

abstract CheckedLocalCSeq : int with get, set