Added conversion to arena interface