pub const NTM_NONNEGATIVE_AC: u32 = 65536u32;