Off topic: what's up with the guillemets in the code example? Does that actually work as a replacement for single/double quotemarks in some shells? Mine just treats them as an ordinary character, e.g.

    print «Cookie: session=session1»                                        
    «Cookie: session=session1»