<!-- Any copyright is dedicated to the Public Domain.
     http:// creativecommons.org/publicdomain/zero/1.0/ -->

function f() {
  var a = 1;
  var b = 2;
  var c = 3;
}