basic test case: