finalize_one_thread 3364 src/alloc.c        finalize_one_thread (PSEUDOVEC_STRUCT (vector, thread_state));
finalize_one_thread  310 src/thread.h   extern void finalize_one_thread (struct thread_state *state);