#include <stdint.h>
#include <stdlib.h>
uint64_t mul7u_0FV(uint64_t a, uint64_t b) {
int wa[7];
int wb[7];
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;
int sig_67 = wa[5] & wb[4];
int sig_157 = wa[6] & wb[5];
int sig_187 = wb[5] & wa[6];
int sig_193 = wa[5] & wb[6];
int sig_194 = wa[6] & wb[6];
int sig_219 = wb[6] & wa[4];
int sig_220 = sig_157 ^ sig_193;
int sig_223 = sig_220 ^ sig_187;
int sig_224 = wb[5] & wa[6];
int sig_243 = sig_223 & wa[4];
int sig_244 = sig_194 ^ sig_224;
int sig_245 = wb[6] & sig_224;
int sig_246 = wa[6] & sig_243;
int sig_247 = sig_244 ^ sig_243;
int sig_248 = sig_245 | sig_246;
int sig_249 = sig_223 ^ sig_219;
y |= (sig_157 & 0x01) << 0;
y |= (sig_245 & 0x01) << 1;
y |= (sig_187 & 0x01) << 2;
y |= (sig_67 & 0x01) << 3;
y |= (sig_249 & 0x01) << 4;
y |= (sig_247 & 0x01) << 5;
y |= (sig_248 & 0x01) << 6;
y |= (sig_246 & 0x01) << 7;
y |= (sig_244 & 0x01) << 8;
y |= (sig_193 & 0x01) << 9;
y |= (sig_67 & 0x01) << 10;
y |= (sig_249 & 0x01) << 11;
y |= (sig_247 & 0x01) << 12;
y |= (sig_248 & 0x01) << 13;
return y;
}