void SialOpsParallel::destroy_served(int array_id) { delete_distributed(array_id); }
void SialOpsSequential::destroy_served(int array_id) { delete_distributed(array_id); }