add ArrayMgr.empty, ArrayMgr.get, ArrayMgr.set