Search implemented, except for that nasty issue of how to get a
reference to the pagetable where it's needed.