debugging for mira