size=(size+7)&~((size_t)7);
void *tmp = snapshot_struct->allocation_ptr;
snapshot_struct->allocation_ptr = (void *)((char *) snapshot_struct->allocation_ptr +size);
size=(size+7)&~((size_t)7);
void *tmp = snapshot_struct->allocation_ptr;
snapshot_struct->allocation_ptr = (void *)((char *) snapshot_struct->allocation_ptr +size);