pub fn par(left: usize, right: usize) -> ExecutedState