Update 17c.scala