Constant HVSOCKET_HIGH_VTL 

pub const HVSOCKET_HIGH_VTL: u32 = 8u32;