Teva creation. Hoka restore

Created Teva test cases. Accidentally saved over Hoka, so restored from
master branch.
hoka restore