{"size": 481, "ext": "js", "max_stars_repo_path": "test/serializer/pure-functions/HavocBindingImmutable.js", "max_stars_repo_name": "himanshiLt/prepack", "max_stars_repo_stars_event_min_datetime": "2017-05-03T17:07:59.000Z", "max_stars_repo_stars_event_max_datetime": "2022-02-11T15:50:02.000Z", "max_issues_repo_path": "test/serializer/pure-functions/HavocBindingImmutable.js", "max_issues_repo_name": "himanshiLt/prepack", "max_issues_repo_issues_event_min_datetime": "2017-05-03T17:40:19.000Z", "max_issues_repo_issues_event_max_datetime": "2022-02-10T16:38:28.000Z", "max_forks_repo_path": "test/serializer/pure-functions/HavocBindingImmutable.js", "max_forks_repo_name": "himanshiLt/prepack", "max_forks_repo_forks_event_min_datetime": "2017-05-03T17:12:43.000Z", "max_forks_repo_forks_event_max_datetime": "2022-01-25T06:55:55.000Z"}
{"max_stars_count": 15477, "max_issues_count": 1419, "max_forks_count": 609, "avg_line_length": 22.9047619048, "max_line_length": 89, "alphanum_fraction": 0.5717255717}
if (!global.__evaluatePureFunction) global.__evaluatePureFunction = f => f();

const havoc = global.__abstract ? global.__abstract("function", "(() => {})") : () => {};

const result = global.__evaluatePureFunction(() => {
  const b = global.__abstract ? global.__abstract("boolean", "true") : true;

  if (b) {
    var g = function f(i) {
      return i === 0 ? 0 : f(i - 1) + 1;
    };
    havoc(g);
  } else {
    return;
  }

  return g(5);
});

global.inspect = () => result;
