Constant IS_WKP_TB_TSPEC 

pub const IS_WKP_TB_TSPEC: int_serv_wkp;