pub const IS_WKP_Q_TSPEC: int_serv_wkp = 128i32;