public class ExampleUsage {
  /**
   * this class contains a set of test methods that are supposed to show how the lowerbound checker
   * should work in practice. They contain no annotations - the only test is whether or not it
   * alarms on particular code constructs that are or are not safe
   */
  void safe_loop_const() {
    int[] arr = new int[5];
    int k;
    for (int i = 0; i < 5; i++) {
      k = arr[i];
    }
  }

  void safe_loop_spooky() {
    int[] arr = new int[5];
    int k;
    for (int i = -1; i < 4; ) {
      i++;
      k = arr[i];
    }
  }

  void obviously_unsafe_loop() {
    int[] arr = new int[5];
    int k;
    for (int i = -1; i < 5; i++) {
      // :: error: (array.access.unsafe.low)
      k = arr[i];
    }
  }
}
// a comment