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')