Added ActiveTCBList accessor function