void
print_array_int(array)
        AV *array
    CODE:
        int *arrayc;
        I32 len = av_len(array) + 1;
        Newxz(arrayc, len, int);
        I32 ind;
        for (ind = 0; ind < len; ind++) {
            SV **elt = av_fetch(array, ind, 1);
            int val = SvIV(*elt);
            arrayc[ind] = val;
        }
        print_array_int(arrayc, len);
        Safefree(arrayc);