Also other examples in this file, and stack.py