#include <stdint.h>
#include <stdlib.h>
uint64_t add8u_2J3(uint64_t a, uint64_t b) {
uint64_t o = 0;
int n_196=0, n_45=0, n_69=0, n_66=0, n_62=0, n_200=0, n_108=0, n_204=0, n_208=0, n_100=0;
int n_104=0, n_8=0, n_9=0, n_4=0, n_5=0, n_6=0, n_7=0, n_0=0, n_1=0, n_2=0;
int n_3=0, n_31=0, n_14=0, n_15=0, n_12=0, n_13=0, n_10=0, n_11=0, n_173=0, n_58=0;
int n_177=0, n_50=0, n_54=0, n_73=0, n_212=0, n_139=0, n_131=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_31 = n_14 | n_6;
n_45 = n_7 | n_15;
n_50 = n_3;
n_54 = n_5 ^ n_13;
n_58 = n_5 & n_13;
n_62 = n_14 ^ n_6;
n_66 = n_6 & n_14;
n_69 = n_7 ^ n_15;
n_73 = n_7 & n_15;
n_100 = n_31 & n_58;
n_104 = n_62 & n_54;
n_108 = n_66 | n_100;
n_131 = n_104 & n_50;
n_139 = n_108 | n_131;
n_173 = n_54 & n_50;
n_177 = ~(n_58 | n_173);
n_196 = n_54 ^ n_3;
n_200 = ~(n_62 ^ n_177);
n_204 = n_69 ^ n_139;
n_208 = n_45 & n_139;
n_212 = n_73 | n_208;
o |= (n_3 & 0x01) << 0;
o |= (n_1 & 0x01) << 1;
o |= (n_4 & 0x01) << 2;
o |= (n_4 & 0x01) << 3;
o |= (n_12 & 0x01) << 4;
o |= (n_196 & 0x01) << 5;
o |= (n_200 & 0x01) << 6;
o |= (n_204 & 0x01) << 7;
o |= (n_212 & 0x01) << 8;
return o;
}