var SO_TXTIME: Int32 { get }