Constant IN6ADDR_6TO4PREFIX_LENGTH 

pub const IN6ADDR_6TO4PREFIX_LENGTH: u32 = 16u32;