extracted ArenaLibrary class