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

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


GC_end_stubborn_change (void * p)
{

}


GC_change_stubborn (void * p)
{

}


GC_push_stubborn_structures ()
{

}