* AriaProcessor.scala: DEBUGGING