Hello MonetDB Team, I want to integrate iterations into MonetDB using the barrier symbols provided by MAL (here the variable list_of_updates is repeated body of the iteration and ex_cond is the exit condition): ======================================= res_body = stmt_list(sql->sa, list_of_updates); stmt *s_begin = stmt_begin(sql->sa); list_append(res_list, s_begin); list_append(res_list, ex_cond); stmt *s_check = stmt_check(sql->sa, ex_cond, s_begin); list_append(res_list, s_check); list_append(res_list, res_body); list_append(res_list, stmt_redo(sql->sa, s_check)); list_append(res_list, stmt_exit(sql->sa, s_begin)); return stmt_list(sql->sa, res_list); ======================================== Currently the implementation works, when the exit condition is true, but unfortunately never stops, if the exit condition is false (I assume that this happens due to non-updating computation of ex_cond). Could you please give the reference point in the documentation or code where I could look to check if my assumption is correct? Or point me to a proper mailing-list if this is the wrong one for such questions? :) Thank you and best regards, Oksana