A general purpose context for many operations provided here
Various ways in which a pack and index can be verified