GC_malloc_stubborn (size_t lb)
{
  void * D.7001;

  D.7001 = GC_malloc (lb);
  return D.7001;
}


GC_end_stubborn_change (void * p)
{

}


GC_change_stubborn (void * p)
{

}


GC_push_stubborn_structures ()
{

}