The C language code generated by ASN1C-0.9.29 for 64-bit unsigned integer data was identified as INTEGER_t instead of uint64_t.

I checked that both the system architecture and the GCC compiler support 64-bit, but when running asn1c, the generated header file still has the type of INTEGER_t.