Symbol: procnum_to_rdbase