function greet()
  print("Goodbye world!")
end