/* Set the contents of a G_TYPE_UINT64 #GValue to @v_uint64.  */
void g_value_set_uint64(GValue *value, guint64 v_uint64)
/* Set the contents of a G_TYPE_UINT64 #GValue to @v_uint64.  */
void g_value_set_uint64(GValue *value, guint64 v_uint64)
{
  g_return_if_fail (G_VALUE_HOLDS_UINT64 (value));
  value->data[0].v_uint64 = v_uint64;
}