initial state test case