mark_stack_push_values 7214 src/alloc.c    		  mark_stack_push_values (ptr->contents, size);
mark_stack_push_values 7277 src/alloc.c    		  mark_stack_push_values (ptr->contents, size);
mark_stack_push_values 7387 src/alloc.c      mark_stack_push_values (objs, n);