Constant FFI_64_BIT_MAX

pub const FFI_64_BIT_MAX: u64 = 9223372036854775807;