Constant IS_WKP_TB_TSPEC

pub const IS_WKP_TB_TSPEC: int_serv_wkp = 127i32;