static void fenz(ReturnType uint64_t out[1], const uint64_t in1[2]) {
  { const uint64_t x1 = in1[1];
  { const uint64_t x2 = in1[0];
  { uint64_t x3 = (x2 | x1);
  out[0] = x3;
  }}}
}