def exportValue(self, vf, value):
        m = StrStrHashMap(value)
        keysAndValues = []
        for i in m.keys():
            keysAndValues.append(i)
            keysAndValues.append(m[i])
def _scale_vars(s, v_list):
  """Scale all variables in v_list by s."""
  return [s * v for v in v_list]