chiark / gitweb /
some rearrangement to allow us to swap in a different local optimizer