let
counter_unroll_target = ref 100