proc f() -> Bool
var
  a, b: Int := 5
return a = 5 & b = 5

program()
begin
  assert(f())
end.