Updated examples constr1.scala