Add Ex1_12.scala (still broken)