cut out unnecessary work in thin_malloc.c