_GLOBAL.SZ0_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  bitsizetype D.5454;
  bitsizetype iftmp.0;

  if (p1 <= p0) goto <D.5456>; else goto <D.5457>;
  <D.5456>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.0 = _5 * 8;
  goto <D.5458>;
  <D.5457>:
  iftmp.0 = 0;
  <D.5458>:
  D.5454 = iftmp.0;
  return D.5454;
}


_GLOBAL.SZ1_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  sizetype D.5459;
  sizetype iftmp.1;

  if (p1 <= p0) goto <D.5461>; else goto <D.5462>;
  <D.5461>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  iftmp.1 = _3 + 1;
  goto <D.5463>;
  <D.5462>:
  iftmp.1 = 0;
  <D.5463>:
  D.5459 = iftmp.1;
  return D.5459;
}


_GLOBAL.SZ2_t (interfaces__c__size_t p0, interfaces__c__size_t p1)
{
  bitsizetype D.5464;
  bitsizetype iftmp.2;

  if (p1 <= p0) goto <D.5466>; else goto <D.5467>;
  <D.5466>:
  _1 = p0 - p1;
  _2 = _1 + 1;
  _3 = (bitsizetype) _2;
  iftmp.2 = _3 * 8;
  goto <D.5468>;
  <D.5467>:
  iftmp.2 = 0;
  <D.5468>:
  D.5464 = iftmp.2;
  return D.5464;
}


_GLOBAL.SZ3_t (interfaces__c__size_t p0, interfaces__c__size_t p1)
{
  sizetype D.5469;
  sizetype iftmp.3;

  if (p1 <= p0) goto <D.5471>; else goto <D.5472>;
  <D.5471>:
  _1 = p0 - p1;
  iftmp.3 = _1 + 1;
  goto <D.5473>;
  <D.5472>:
  iftmp.3 = 0;
  <D.5473>:
  D.5469 = iftmp.3;
  return D.5469;
}


_GLOBAL.SZ4_t (system__tasking__protected_objects__protected_entry_index___XDLU_0__2147483647 p0, system__tasking__protected_objects__protected_entry_index___XDLU_0__2147483647 p1)
{
  bitsizetype D.5474;
  bitsizetype iftmp.4;

  if (p1 <= p0) goto <D.5476>; else goto <D.5477>;
  <D.5476>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.4 = _5 * 128;
  goto <D.5478>;
  <D.5477>:
  iftmp.4 = 0;
  <D.5478>:
  D.5474 = iftmp.4;
  return D.5474;
}


_GLOBAL.SZ5_t (system__tasking__protected_objects__protected_entry_index___XDLU_0__2147483647 p0, system__tasking__protected_objects__protected_entry_index___XDLU_0__2147483647 p1)
{
  sizetype D.5479;
  sizetype iftmp.5;

  if (p1 <= p0) goto <D.5481>; else goto <D.5482>;
  <D.5481>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.5 = _4 * 16;
  goto <D.5483>;
  <D.5482>:
  iftmp.5 = 0;
  <D.5483>:
  D.5479 = iftmp.5;
  return D.5479;
}


_GLOBAL.SZ6_t (system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p0, system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p1)
{
  bitsizetype D.5484;
  bitsizetype iftmp.6;

  if (p1 <= p0) goto <D.5486>; else goto <D.5487>;
  <D.5486>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.6 = _5 * 32;
  goto <D.5488>;
  <D.5487>:
  iftmp.6 = 0;
  <D.5488>:
  D.5484 = iftmp.6;
  return D.5484;
}


_GLOBAL.SZ7_t (system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p0, system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p1)
{
  sizetype D.5489;
  sizetype iftmp.7;

  if (p1 <= p0) goto <D.5491>; else goto <D.5492>;
  <D.5491>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.7 = _4 * 4;
  goto <D.5493>;
  <D.5492>:
  iftmp.7 = 0;
  <D.5493>:
  D.5489 = iftmp.7;
  return D.5489;
}


_GLOBAL.SZ8_t (system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p0, system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p1)
{
  bitsizetype D.5494;
  bitsizetype iftmp.8;

  if (p1 <= p0) goto <D.5496>; else goto <D.5497>;
  <D.5496>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.8 = _5 * 128;
  goto <D.5498>;
  <D.5497>:
  iftmp.8 = 0;
  <D.5498>:
  D.5494 = iftmp.8;
  return D.5494;
}


_GLOBAL.SZ9_t (system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p0, system__tasking__protected_objects__entries__positive_protected_entry_index___XDLU_1__2147483647 p1)
{
  sizetype D.5499;
  sizetype iftmp.9;

  if (p1 <= p0) goto <D.5501>; else goto <D.5502>;
  <D.5501>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.9 = _4 * 16;
  goto <D.5503>;
  <D.5502>:
  iftmp.9 = 0;
  <D.5503>:
  D.5499 = iftmp.9;
  return D.5499;
}


_GLOBAL.SZ10_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  bitsizetype D.5504;
  bitsizetype iftmp.10;

  if (p1 <= p0) goto <D.5506>; else goto <D.5507>;
  <D.5506>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.10 = _5 * 64;
  goto <D.5508>;
  <D.5507>:
  iftmp.10 = 0;
  <D.5508>:
  D.5504 = iftmp.10;
  return D.5504;
}


_GLOBAL.SZ11_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  sizetype D.5509;
  sizetype iftmp.11;

  if (p1 <= p0) goto <D.5511>; else goto <D.5512>;
  <D.5511>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.11 = _4 * 8;
  goto <D.5513>;
  <D.5512>:
  iftmp.11 = 0;
  <D.5513>:
  D.5509 = iftmp.11;
  return D.5509;
}


_GLOBAL.SZ12_t (integer p0, integer p1)
{
  bitsizetype D.5514;
  bitsizetype iftmp.12;

  if (p1 <= p0) goto <D.5516>; else goto <D.5517>;
  <D.5516>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.12 = _5 * 8;
  goto <D.5518>;
  <D.5517>:
  iftmp.12 = 0;
  <D.5518>:
  D.5514 = iftmp.12;
  return D.5514;
}


_GLOBAL.SZ13_t (integer p0, integer p1)
{
  sizetype D.5519;
  sizetype iftmp.13;

  if (p1 <= p0) goto <D.5521>; else goto <D.5522>;
  <D.5521>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  iftmp.13 = _3 + 1;
  goto <D.5523>;
  <D.5522>:
  iftmp.13 = 0;
  <D.5523>:
  D.5519 = iftmp.13;
  return D.5519;
}


_GLOBAL.SZ14_t (system__tasking__atc_level_index___XDLU_1__19 p0, system__tasking__atc_level_index___XDLU_1__19 p1)
{
  bitsizetype D.5524;
  bitsizetype iftmp.14;

  if (p1 <= p0) goto <D.5526>; else goto <D.5527>;
  <D.5526>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.14 = _5 * 768;
  goto <D.5528>;
  <D.5527>:
  iftmp.14 = 0;
  <D.5528>:
  D.5524 = iftmp.14;
  return D.5524;
}


_GLOBAL.SZ15_t (system__tasking__atc_level_index___XDLU_1__19 p0, system__tasking__atc_level_index___XDLU_1__19 p1)
{
  sizetype D.5529;
  sizetype iftmp.15;

  if (p1 <= p0) goto <D.5531>; else goto <D.5532>;
  <D.5531>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.15 = _4 * 96;
  goto <D.5533>;
  <D.5532>:
  iftmp.15 = 0;
  <D.5533>:
  D.5529 = iftmp.15;
  return D.5529;
}


_GLOBAL.SZ16_t (system__tasking__Tattribute_arrayD1___XDLU_1__32 p0, system__tasking__Tattribute_arrayD1___XDLU_1__32 p1)
{
  bitsizetype D.5534;
  bitsizetype iftmp.16;

  if (p1 <= p0) goto <D.5536>; else goto <D.5537>;
  <D.5536>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.16 = _5 * 64;
  goto <D.5538>;
  <D.5537>:
  iftmp.16 = 0;
  <D.5538>:
  D.5534 = iftmp.16;
  return D.5534;
}


_GLOBAL.SZ17_t (system__tasking__Tattribute_arrayD1___XDLU_1__32 p0, system__tasking__Tattribute_arrayD1___XDLU_1__32 p1)
{
  sizetype D.5539;
  sizetype iftmp.17;

  if (p1 <= p0) goto <D.5541>; else goto <D.5542>;
  <D.5541>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.17 = _4 * 8;
  goto <D.5543>;
  <D.5542>:
  iftmp.17 = 0;
  <D.5543>:
  D.5539 = iftmp.17;
  return D.5539;
}


_GLOBAL.SZ18_t (system__tasking__task_entry_index___XDLU_0__2147483647 p0, system__tasking__task_entry_index___XDLU_0__2147483647 p1)
{
  bitsizetype D.5544;
  bitsizetype iftmp.18;

  if (p1 <= p0) goto <D.5546>; else goto <D.5547>;
  <D.5546>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.18 = _5 * 128;
  goto <D.5548>;
  <D.5547>:
  iftmp.18 = 0;
  <D.5548>:
  D.5544 = iftmp.18;
  return D.5544;
}


_GLOBAL.SZ19_t (system__tasking__task_entry_index___XDLU_0__2147483647 p0, system__tasking__task_entry_index___XDLU_0__2147483647 p1)
{
  sizetype D.5549;
  sizetype iftmp.19;

  if (p1 <= p0) goto <D.5551>; else goto <D.5552>;
  <D.5551>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.19 = _4 * 16;
  goto <D.5553>;
  <D.5552>:
  iftmp.19 = 0;
  <D.5553>:
  D.5549 = iftmp.19;
  return D.5549;
}


_GLOBAL.SZ20_t (system__tasking__positive_select_index___XDLU_1__2147483647 p0, system__tasking__positive_select_index___XDLU_1__2147483647 p1)
{
  bitsizetype D.5554;
  bitsizetype iftmp.20;

  if (p1 <= p0) goto <D.5556>; else goto <D.5557>;
  <D.5556>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.20 = _5 * 64;
  goto <D.5558>;
  <D.5557>:
  iftmp.20 = 0;
  <D.5558>:
  D.5554 = iftmp.20;
  return D.5554;
}


_GLOBAL.SZ21_t (system__tasking__positive_select_index___XDLU_1__2147483647 p0, system__tasking__positive_select_index___XDLU_1__2147483647 p1)
{
  sizetype D.5559;
  sizetype iftmp.21;

  if (p1 <= p0) goto <D.5561>; else goto <D.5562>;
  <D.5561>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.21 = _4 * 8;
  goto <D.5563>;
  <D.5562>:
  iftmp.21 = 0;
  <D.5563>:
  D.5559 = iftmp.21;
  return D.5559;
}


_GLOBAL.SZ22_t (system__multiprocessors__cpu___XDLU_1__65535 p0, system__multiprocessors__cpu___XDLU_1__65535 p1)
{
  bitsizetype D.5564;
  bitsizetype iftmp.22;

  if (p1 <= p0) goto <D.5566>; else goto <D.5567>;
  <D.5566>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.22 = _5 * 8;
  goto <D.5568>;
  <D.5567>:
  iftmp.22 = 0;
  <D.5568>:
  D.5564 = iftmp.22;
  return D.5564;
}


_GLOBAL.SZ23_t (system__multiprocessors__cpu___XDLU_1__65535 p0, system__multiprocessors__cpu___XDLU_1__65535 p1)
{
  sizetype D.5569;
  sizetype iftmp.23;

  if (p1 <= p0) goto <D.5571>; else goto <D.5572>;
  <D.5571>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  iftmp.23 = _3 + 1;
  goto <D.5573>;
  <D.5572>:
  iftmp.23 = 0;
  <D.5573>:
  D.5569 = iftmp.23;
  return D.5569;
}


_GLOBAL.SZ24_t (system__os_interface__Tbit_fieldD1___XDLU_1__1024 p0, system__os_interface__Tbit_fieldD1___XDLU_1__1024 p1)
{
  bitsizetype D.5574;
  bitsizetype iftmp.24;

  if (p1 <= p0) goto <D.5576>; else goto <D.5577>;
  <D.5576>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.24 = _5 * 8;
  goto <D.5578>;
  <D.5577>:
  iftmp.24 = 0;
  <D.5578>:
  D.5574 = iftmp.24;
  return D.5574;
}


_GLOBAL.SZ25_t (system__os_interface__Tbit_fieldD1___XDLU_1__1024 p0, system__os_interface__Tbit_fieldD1___XDLU_1__1024 p1)
{
  sizetype D.5579;
  sizetype iftmp.25;

  if (p1 <= p0) goto <D.5581>; else goto <D.5582>;
  <D.5581>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  iftmp.25 = _3 + 1;
  goto <D.5583>;
  <D.5582>:
  iftmp.25 = 0;
  <D.5583>:
  D.5579 = iftmp.25;
  return D.5579;
}


_GLOBAL.SZ26_t (natural___XDLU_0__2147483647 p0, natural___XDLU_0__2147483647 p1)
{
  bitsizetype D.5584;
  bitsizetype iftmp.26;

  if (p1 <= p0) goto <D.5586>; else goto <D.5587>;
  <D.5586>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.26 = _5 * 8;
  goto <D.5588>;
  <D.5587>:
  iftmp.26 = 0;
  <D.5588>:
  D.5584 = iftmp.26;
  return D.5584;
}


_GLOBAL.SZ27_t (natural___XDLU_0__2147483647 p0, natural___XDLU_0__2147483647 p1)
{
  sizetype D.5589;
  sizetype iftmp.27;

  if (p1 <= p0) goto <D.5591>; else goto <D.5592>;
  <D.5591>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  iftmp.27 = _3 + 1;
  goto <D.5593>;
  <D.5592>:
  iftmp.27 = 0;
  <D.5593>:
  D.5589 = iftmp.27;
  return D.5589;
}


_GLOBAL.SZ28_t (system__secondary_stack__memory_size___XDLU_0__9223372036854775807 p0, system__secondary_stack__memory_size___XDLU_0__9223372036854775807 p1)
{
  bitsizetype D.5594;
  bitsizetype iftmp.28;

  if (p1 <= p0) goto <D.5596>; else goto <D.5597>;
  <D.5596>:
  p0.29_1 = (sizetype) p0;
  p1.30_2 = (sizetype) p1;
  _3 = p0.29_1 - p1.30_2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.28 = _5 * 8;
  goto <D.5598>;
  <D.5597>:
  iftmp.28 = 0;
  <D.5598>:
  D.5594 = iftmp.28;
  return D.5594;
}


_GLOBAL.SZ29_t (system__secondary_stack__memory_size___XDLU_0__9223372036854775807 p0, system__secondary_stack__memory_size___XDLU_0__9223372036854775807 p1)
{
  sizetype D.5599;
  sizetype iftmp.31;

  if (p1 <= p0) goto <D.5601>; else goto <D.5602>;
  <D.5601>:
  p0.32_1 = (sizetype) p0;
  p1.33_2 = (sizetype) p1;
  _3 = p0.32_1 - p1.33_2;
  iftmp.31 = _3 + 1;
  goto <D.5603>;
  <D.5602>:
  iftmp.31 = 0;
  <D.5603>:
  D.5599 = iftmp.31;
  return D.5599;
}


_GLOBAL.SZ30_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  bitsizetype D.5604;
  bitsizetype iftmp.34;

  if (p1 <= p0) goto <D.5606>; else goto <D.5607>;
  <D.5606>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.34 = _5 * 64;
  goto <D.5608>;
  <D.5607>:
  iftmp.34 = 0;
  <D.5608>:
  D.5604 = iftmp.34;
  return D.5604;
}


_GLOBAL.SZ31_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  sizetype D.5609;
  sizetype iftmp.35;

  if (p1 <= p0) goto <D.5611>; else goto <D.5612>;
  <D.5611>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.35 = _4 * 8;
  goto <D.5613>;
  <D.5612>:
  iftmp.35 = 0;
  <D.5613>:
  D.5609 = iftmp.35;
  return D.5609;
}


_GLOBAL.SZ32_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  bitsizetype D.5614;
  bitsizetype iftmp.36;

  if (p1 <= p0) goto <D.5616>; else goto <D.5617>;
  <D.5616>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  _5 = (bitsizetype) _4;
  iftmp.36 = _5 * 64;
  goto <D.5618>;
  <D.5617>:
  iftmp.36 = 0;
  <D.5618>:
  D.5614 = iftmp.36;
  return D.5614;
}


_GLOBAL.SZ33_t (positive___XDLU_1__2147483647 p0, positive___XDLU_1__2147483647 p1)
{
  sizetype D.5619;
  sizetype iftmp.37;

  if (p1 <= p0) goto <D.5621>; else goto <D.5622>;
  <D.5621>:
  _1 = (sizetype) p0;
  _2 = (sizetype) p1;
  _3 = _1 - _2;
  _4 = _3 + 1;
  iftmp.37 = _4 * 8;
  goto <D.5623>;
  <D.5622>:
  iftmp.37 = 0;
  <D.5623>:
  D.5619 = iftmp.37;
  return D.5619;
}


t.finalize_spec ()
{
  void L0;
  void L1;
  boolean R6s;

  R6s = 0;
  system__soft_links__abort_defer.38_1 = system__soft_links__abort_defer;
  system__soft_links__abort_defer.38_1 ();
  t__C4s.39_2 = t__C4s;
  if (t__C4s.39_2 == 1) goto L1; else goto L0;
  L1:
  try
    {
      gnat.semaphores.binary_semaphoreVDF (&t__lock, 1);
    }
  catch
    {
      catch (&OTHERS)
        {
          {
            void * EXPTR;

            try
              {
                EXPTR = .builtin_eh_pointer (0);
                .gnat_begin_handler (EXPTR);
                _3 = R6s ^ 1;
                if (_3 != 0) goto <D.5624>; else goto <D.5625>;
                <D.5624>:
                R6s = 1;
                system.soft_links.save_library_occurrence (0B);
                goto <D.5626>;
                <D.5625>:
                <D.5626>:
              }
            finally
              {
                <<<if_normal_exit>>>
                  {
                    .gnat_end_handler (EXPTR);
                  }
                <<<else_eh_exit>>>
                  {
                    .gnat_end_handler (EXPTR);
                  }
              }
          }
        }
    }
  L0:
  system__soft_links__abort_undefer.40_4 = system__soft_links__abort_undefer;
  system__soft_links__abort_undefer.40_4 ();
  return;
}


t ()
{
  try
    {
      system__soft_links__abort_defer.41_1 = system__soft_links__abort_defer;
      system__soft_links__abort_defer.41_1 ();
      gnat.semaphores.binary_semaphoreVIP (&t__lock, 1, 48);
      try
        {
          gnat.semaphores.binary_semaphoreVDI (&t__lock);
          t__C4s = 1;
        }
      catch
        {
          catch (&OTHERS)
            {
              {
                void * EXPTR;

                try
                  {
                    EXPTR = .builtin_eh_pointer (0);
                    .gnat_begin_handler (EXPTR);
                    gnat.semaphores.binary_semaphoreVDF (&t__lock, 0);
                    {
                      void * SAVED_EXPTR;

                      SAVED_EXPTR = EXPTR;
                      EXPTR = 0B;
                      .gnat_reraise_zcx (SAVED_EXPTR);
                    }
                  }
                finally
                  {
                    <<<if_normal_exit>>>
                      {
                        .gnat_end_handler (EXPTR);
                      }
                    <<<else_eh_exit>>>
                      {
                        .gnat_end_handler (EXPTR);
                      }
                  }
              }
            }
        }
    }
  finally
    {
      system.standard_library.abort_undefer_direct ();
    }
}


system.standard_library.abort_undefer_direct ()
{
  system__soft_links__abort_undefer.42_1 = system__soft_links__abort_undefer;
  system__soft_links__abort_undefer.42_1 ();
  return;
}