batch_from_domain
batch_from_domain(
batch_from_domain(batch, domain, area, start,
batch_from_domain(batch, domain, area, start_index, last_index);