tests/regressions/should_compile/sovereign_arena/lib