public PingOptions(int ttl, bool dontFragment) { } public bool DontFragment { get { throw null; } set { } }