Constant mjMAXTEXTURE

Source
pub const mjMAXTEXTURE: u32 = 1000;