#include <stdint.h>
#include <stdlib.h>
uint64_t add8u_0NQ(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_17 = wa[0] & wb[0];
  int sig_18 = wa[1] | wb[1];
  int sig_21 = sig_18 | sig_17;
  int sig_24 = wa[2] & wb[2];
  int sig_27 = sig_24;
  int sig_28 = wa[3] ^ wb[3];
  int sig_29 = wa[3] & wb[3];
  int sig_31 = sig_28 | sig_27;
  int sig_32 = sig_29;
  int sig_33 = wa[4] ^ wb[4];
  int sig_34 = wa[4] & wb[4];
  int sig_35 = wa[0] ^ wb[0];
  int sig_36 = sig_33 | sig_32;
  int sig_37 = sig_34;
  int sig_38 = wa[5] ^ wb[5];
  int sig_39 = wa[5] & wb[5];
  int sig_40 = wb[2] ^ wa[2];
  int sig_41 = sig_38 | sig_37;
  int sig_42 = sig_39;
  int sig_43 = wa[6] ^ wb[6];
  int sig_44 = wa[6] & wb[6];
  int sig_45 = sig_43 & sig_42;
  int sig_46 = sig_43 ^ sig_42;
  int sig_47 = sig_44 | sig_45;
  int sig_48 = wa[7] ^ wb[7];
  int sig_49 = wa[7] & wb[7];
  int sig_50 = sig_48 & sig_47;
  int sig_51 = sig_48 ^ sig_47;
  int sig_52 = sig_49 | sig_50;
  y |=  (sig_35 & 0x01) << 0; 
  y |=  (sig_21 & 0x01) << 1; 
  y |=  (sig_40 & 0x01) << 2; 
  y |=  (sig_31 & 0x01) << 3; 
  y |=  (sig_36 & 0x01) << 4; 
  y |=  (sig_41 & 0x01) << 5; 
  y |=  (sig_46 & 0x01) << 6; 
  y |=  (sig_51 & 0x01) << 7; 
  y |=  (sig_52 & 0x01) << 8; 
   return y;
}