All the tests were rewritten in PR #13