lazy val a def