(fun y -> try
            10 + perform 3
          with effect x, k -> k (y * (x + 1))) 2