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