Constant IP_RECVTOS 

pub const IP_RECVTOS: u32 = 13;