lab5: test some old cases