Actually add a small test case; add mini Test library