get_cb_number
ucbnum = get_cb_number((void *)cb);
ucbnum = get_cb_number((void *)excdet.cb);
cbrnum = thread_cbr_number(kgts, get_cb_number(cb));