for $i (0 .. (MTH_CONST))
MTH_CONST->[$i];