#include <stdint.h>
#include <stdlib.h>
uint64_t add8u_3RE(uint64_t a, uint64_t b) {
uint64_t o = 0;
int n_198=0, n_44=0, n_42=0, n_149=0, n_147=0, n_12=0, n_182=0, n_180=0, n_8=0, n_9=0;
int n_184=0, n_4=0, n_5=0, n_6=0, n_7=0, n_0=0, n_1=0, n_2=0, n_3=0, n_37=0;
int n_38=0, n_14=0, n_15=0, n_16=0, n_13=0, n_10=0, n_11=0, n_213=0, n_211=0;
n_0 = (a >> 0) & 0x1;
n_1 = (a >> 1) & 0x1;
n_2 = (a >> 2) & 0x1;
n_3 = (a >> 3) & 0x1;
n_4 = (a >> 4) & 0x1;
n_5 = (a >> 5) & 0x1;
n_6 = (a >> 6) & 0x1;
n_7 = (a >> 7) & 0x1;
n_8 = (b >> 0) & 0x1;
n_9 = (b >> 1) & 0x1;
n_10 = (b >> 2) & 0x1;
n_11 = (b >> 3) & 0x1;
n_12 = (b >> 4) & 0x1;
n_13 = (b >> 5) & 0x1;
n_14 = (b >> 6) & 0x1;
n_15 = (b >> 7) & 0x1;
n_16 = n_15 | n_7;
n_37 = n_7 & n_15;
n_38 = n_15 ^ n_7;
n_42 = n_6 ^ n_14;
n_44 = n_6 & n_14;
n_147 = n_42 & n_5;
n_149 = ~(n_44 | n_147);
n_180 = n_16 & n_147;
n_182 = n_16 & n_44;
n_184 = n_37 | n_182;
n_198 = n_184 | n_180;
n_211 = n_42 ^ n_5;
n_213 = ~(n_38 ^ n_149);
o |= (n_4 & 0x01) << 0;
o |= (n_7 & 0x01) << 1;
o |= (n_9 & 0x01) << 2;
o |= (n_4 & 0x01) << 3;
o |= (n_8 & 0x01) << 4;
o |= (n_13 & 0x01) << 5;
o |= (n_211 & 0x01) << 6;
o |= (n_213 & 0x01) << 7;
o |= (n_198 & 0x01) << 8;
return o;
}