class TestClass {
  public static void main(String[] args){
    hello();
  // ^ defined: 7
  }

  public static void hello() {
  }
}