count_concat_bug.ml mpr7769.ml