http://d.puremagic.com/issues/show_bug.cgi?id=1512 ------- Comment #1 from braddr at puremagic.com 2007-09-17 23:19 ------- double delete == undefined behavior. Anything that happens after that point is fair game. --