Debug.py: imports modules only when needed,