pub type TSSD_AddrV46Type = i32;