void greet() { IO.println("hi"); }