LazyCheck.scala 1011 Bytes