program()
var
  total: Int := 0

begin
  if total = 0 then
  var
    inner: Int := 7
  begin
    total := total + inner
  end;
  assert(total = 7)
end.