armadillo 3.920.2