/* Set the pointer at the specified location to NULL.  */
void g_nullify_pointer(gpointer *nullify_location)
/* Set the pointer at the specified location to NULL.  */
void g_nullify_pointer(gpointer *nullify_location)
{
  g_return_if_fail (nullify_location != NULL);
  *nullify_location = NULL;
}