try to implement case2 of test1l