We now produce the correct binary search headers, and add a fake item for terminating the binary search.