"import from arena" (not quite done yet)