let fresh_act_ref: unit -> act_ref =
    let next_value = ref 0 in
    fun () ->
      incr next_value;
      { act_ref_value = !next_value }