let act_new (act: act) (b: b) : act_ref * b = let ar = fresh_act_ref () in let b' = act_update ar act b in (ar, b')