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

end.