public Mailbox this[
	int pos
] { get; set; }

public:
property Mailbox^ default[int pos] {
	Mailbox^ get (int pos);
	void set (int pos, Mailbox^ value);
}