Add one test for lib.saw