#include <stdint.h>
#include <stdlib.h>
uint64_t add8u_02Y(uint64_t a, uint64_t b) {
int wa[8];
int wb[8];
uint64_t y = 0;
wa[0] = (a >> 0) & 0x01;
wb[0] = (b >> 0) & 0x01;
wa[1] = (a >> 1) & 0x01;
wb[1] = (b >> 1) & 0x01;
wa[2] = (a >> 2) & 0x01;
wb[2] = (b >> 2) & 0x01;
wa[3] = (a >> 3) & 0x01;
wb[3] = (b >> 3) & 0x01;
wa[4] = (a >> 4) & 0x01;
wb[4] = (b >> 4) & 0x01;
wa[5] = (a >> 5) & 0x01;
wb[5] = (b >> 5) & 0x01;
wa[6] = (a >> 6) & 0x01;
wb[6] = (b >> 6) & 0x01;
wa[7] = (a >> 7) & 0x01;
wb[7] = (b >> 7) & 0x01;
int sig_23 = wa[7] & wb[7];
int sig_27 = 0;
int sig_41 = wb[7] ^ wa[7];
int sig_48 = ~((int)0);
y |= (wa[2] & 0x01) << 0;
y |= (wa[0] & 0x01) << 1;
y |= (wa[0] & 0x01) << 2;
y |= (sig_27 & 0x01) << 3;
y |= (wa[7] & 0x01) << 4;
y |= (wa[5] & 0x01) << 5;
y |= (sig_48 & 0x01) << 6;
y |= (sig_41 & 0x01) << 7;
y |= (sig_23 & 0x01) << 8;
return y;
}