steve.py: made stack-trace functions nicer