Armadillo: To provide weapons to a Spanish pickle. -- b5183d466f6a9bf854efc3088bda8aae