var IPV6_RTHDR: Int32 { get }