var IP_RECVTOS: Int32 { get }