This folder contains auxiliary files that were used to construct some of the 
unit tests.