void (String[] args) { \s System.out.println("Hello World"); // [Highlight[range=(227,260), selector=Substring[substring=idx], region=, type=HIGHLIGHTED]] for(int idx=0; idx<10; idx++) { // [Highlight[range=(227,260), selector=Substring[substring=idx], region=, type=HIGHLIGHTED]] System.out.println(idx); // [Highlight[range=(227,260), selector=Substring[substring=idx], region=, type=HIGHLIGHTED]] } }