A few test cases