Constant IP6T_SO_ORIGINAL_DST 

pub const IP6T_SO_ORIGINAL_DST: i32 = 80;