print defs in Run.scala