let compute kf =
  !Db.Value.compute ();
  ignore (compute_and_return kf)