Constant IP6T_SO_ORIGINAL_DST 

pub const IP6T_SO_ORIGINAL_DST: c_int = 80;