[mcs] auto-implemented property initializer