Constant __PTRDIFF_MAX__ 

pub const __PTRDIFF_MAX__: u64 = 9223372036854775807;