begin
  integer(True)
end.