Some rebase leftover here. I also wonder if something else went wrong in the rebase. A lot of level 2 code is added after `herk` which is level 3.