Constant _SpiceDataType_SPICE_INT 

pub const _SpiceDataType_SPICE_INT: _SpiceDataType = 2;