173d172
< virtual void deallocateContext(ThreadID thread_num);