void
copy_ptr( int *src, int *dst, int count )
{
        int *dst_end = dst + count;

        while (dst < dst_end)
                *dst++ = *src++;
}

void
copy_tab( int *src, int *dst, int count )
{
        int i;
        for ( i = 0; i < count; i++ )
                dst[i] = src[i];
}