add a testcase of KIF