[][src]Constant CCODE::LTP_PC_SMT

pub const LTP_PC_SMT: u32 = 1;