Add a few tests for lib/