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