Constant SIZEOF_IP_OPT_TIMESTAMP_HEADER 

pub const SIZEOF_IP_OPT_TIMESTAMP_HEADER: u32 = 4u32;