13.6 listing for exptree.py module