import vis::Figure;
import vis::Render;

public void GoodbyeWorld() =
  render(box(text("Goodbye World")));