Sedgewick pushdown stack program