improved proc_dump() and Sandbox.dump() on some marginal conditions