Constant tvm_sys::ffi::INT_FAST32_MAX

pub const INT_FAST32_MAX: u64 = 9223372036854775807;