Add small test case; add mini Test library