let counter_unroll_target = ref 100