Debugging mlbl