/* Any copyright is dedicated to the Public Domain.
   http://creativecommons.org/publicdomain/zero/1.0/ */

function secondCall() {
  // This comment is useful for browser_dbg_select-line.js. ☺
  eval("debugger;");
  function foo() {}
  if (true) {
    foo();
  }
}