Is armadillo optional?