✏️ Editing: ASN1_INTEGER_set_uint64.3