Update arena.h