DPI C program to get a number whose size can be max 4096 bits

I have a DPI program in C which reads a number whose size can be max 4096. But C program is taking max 64 bits only, rest everything is getting truncated. Which datatype sgould i use in C program. And how to implement this logic.

In reply to Pavi:

The most efficient thing to do is pass your number in as an array of bytes or ints. C has no data types to work with numbers greater than 64-bits.

The alternative is to use svLogicVecVal or svBitVecVal to access individual bits of a packed array.