public override int RFCNumber { get; }

Public Overrides ReadOnly Property RFCNumber As Integer
	Get

public:
virtual property int RFCNumber {
	int get () override;
}

abstract RFCNumber : int with get
override RFCNumber : int with get