*Major change: update arena code. (The commit message of the last rev was wrong. But HG does not allow me to rollback.) --HG-- branch : trunk