[][src]Constant antic::TMP_MAX

pub const TMP_MAX: u32 = 238328;