use smaller test case