freeArena

external fun freeArena(arena: Arena)