var TCP_NODELAY: Int32 { get }