import vis::Figure;
import vis::Render;
public void GoodbyeWorld() =
render(box(text("Goodbye World")));