Update TestFun.kai