mir-ikbch new example with recursion