Without Arma, gaming would look a lot different right now.