Add proper symbols in arena plugin init