aircontrol.py: added trace code