Constant libc_interface::PT_NUM

pub const PT_NUM: u32 = 8;