/* Copyright 2009-2015 EPFL, Lausanne */

object Array2 {

  def foo(): Int = {
    val a = Array.fill(5)(0)
    a(2) = 3
    a.length
  } ensuring(_ == 5)

}