Constant FFI_64_BIT_MAX 

pub const FFI_64_BIT_MAX: u64 = 9_223_372_036_854_775_807;