An API for arena-based plugins