def reservoir(storage : Timestamp * Mutez * Contract(Unit) * Contract(Unit)) =
  var (expiry,n,a,b) = storage;

  case
  | now() > expiry -> transfer(balance(), a, ())
  | balance () > n -> transfer(balance(), b, ())
  end;

  storage