They do, but I put in a "safety" that prevents problems in some cases (e.g. where the context destructor is run after the stack-allocated model destructor).  I'll change this though.