Constant __INTPTR_MAX__ 

pub const __INTPTR_MAX__: u64 = 9223372036854775807;