typedef __SIZE_TYPE__ size_t;
typedef unsigned int uint32_t;
typedef unsigned long long uint64_t;
uint32_t S[8];
void *memcpy (void *, const void *, size_t);
void bar (uint64_t *, unsigned char *);
static void foo (uint64_t *c, const unsigned char *d)
{
uint32_t t = 0;
uint64_t *sp2;
int i,j;
uint32_t state[4];
sp2 = c;
for (i = 0, j = 2; i < 4; i++)
{
for (j = 0; j < 4; j++)
{
t = state[j]^= S[t];
}
t = (t + i)&0xff;
}
memcpy (sp2, state, 4);
}
void bar (uint64_t *a, unsigned char *b)
{
foo (a, b);
}