New interface to kernel-exact, see documentation at the top of the file