basic test case in main