This whole file is just enough to get the tests to pass, basically. More work on tests is needed in future branches.