I can imagine a new control statement with this type of syntax: code code uses (a, b, c, d) { // Step 5: Foo the bar code code } more code

I can imagine a new control statement with this type of syntax: code code uses (a, b, c, d) { // Step 5: Foo the bar code code } more code more code It's a block that defines the variables it uses, with no other access to the outer scope. It would help break up a linear function into blocks with clearer dependencies.