steve.py: added `format_exc`