Implement non-recursive function call and dynamic type error.