this is Test Harness's test function!