[][src]Constant ion_c_sys::tid_INT_INT

pub const tid_INT_INT: u32 = 512;