// Copyright 2015 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

(function f() {
  do { return 23; } while(false);
  with (0) {
    try {
      return 42;
    } finally {}
  }
})();