mark_stack_push_values 6896 src/alloc.c    		  mark_stack_push_values (ptr->contents, size);
mark_stack_push_values 6959 src/alloc.c    		  mark_stack_push_values (ptr->contents, size);
mark_stack_push_values 7069 src/alloc.c      mark_stack_push_values (objs, n);