class Phaser
s1
Phaser ph = new Phaser();
ph.register();
Future<Void> f = void_fork(()->{
s2
ph.arrive();
s3
});
s4
PhaserUtils.awaitAdvanceForPhase(ph, 0);
s5
join(f);
s6
Imagine an array of length 20 below which is sliced up into 3 Ranges A, B, and C: