A few simple test cases