class Test {
  public static void main(String[] args) {
    int <error descr="Variable 'k' is never used">k</error> = 0;
  }
}