int8
static void Top_encode(unsigned char *s,const int8 *T)
static void Top_decode(int8 *T,const unsigned char *s)
int8 T[I];
int8 T[I];
typedef int8 small;
static int8 Top(Fq C)
static Fq Right(int8 T)
static void Encrypt(Fq *B,int8 *T,const int8 *r,const Fq *G,const Fq *A,const small *b)
static void Decrypt(int8 *r,const Fq *B,const int8 *T,const small *a)
typedef int8 Inputs[I]; /* passed by reference */
static void XEncrypt(Fq *B,int8 *T,const int8 *r,const unsigned char *S,const Fq *A)
int8_t int8;
SDP_GET8(value.int8, start);
printf("int8 %d\n", value.int8);