// could be added on the end of the list as a result of this destruction.
int zapped_index = c_top_index - 1;
gremlin_object_record *ptr = c_pointers[zapped_index];
// could be added on the end of the list as a result of this destruction.
int zapped_index = c_top_index - 1;
gremlin_object_record *ptr = c_pointers[zapped_index];