thread_free       230 vm.c           static void thread_free(void *ptr);
thread_free      2055 vm.c           	    thread_free(th);
thread_free      2344 vm.c           	thread_free,