alt/base_vararg3_alt1.nit:41,7--13: Type error: expected Int, got Array[Int]