An api for Arena-based plugins