code: def _makeini(self, w, v):
          
          pieces = []
          for n in range(self._limbs(w)):
              pieces.append(hex(v & ((1 << 64)-1)))
              v >>= 64
          return ','.join(pieces).join('{}')
docs: C initializer string for a wire with a given value.