Constant LTP_PC_SMT

pub const LTP_PC_SMT: u32 = 1u32;