Arena interface, with empty implementation