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

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


GC_end_stubborn_change (void * p)
{

}


GC_change_stubborn (void * p)
{

}


GC_push_stubborn_structures ()
{

}