add more explicit test cases