Add missing test files.

These are the files used for HOPE2013.