let limit_opt                 = ref max_int