Mon, 04 Jun 2012 18:22:11 +0100 Mario de Sousa Change return data type of array_dimension_iterator_c.next()