#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;
}