Batcher: initial implementation for Update; see #19