

#include "BUILTIN.h"

#include "Nat.h"

#include "Real.h"

#include "Denotation.h"

#include "Char.h"
extern OBJ __AProcessCtrlConv_8;
extern OBJ __AProcessCtrlConv_9;
extern OBJ _ASignalConv_1(OBJ);extern OBJ __ASignalConv_1;

#include "Array.h"

#include "Int.h"
extern OBJ _AWaitConv_1(OBJ);OBJ __AWaitConv_1; /* ` */
OBJ __AWaitConv_2; /* `'2 */
OBJ __AWaitConv_3; /* `'3 */
OBJ __AWaitConv_4; /* `'4 */
OBJ __AWaitConv_5; /* `'5 */
OBJ __AWaitConv_6; /* `'6 */
OBJ __AWaitConv_7; /* `'7 */

extern OBJ _AWaitConv_1(OBJ x1) /* ` */
{OBJ r;
 if(ISPRM(x1)){
  if(ISTGPRM(x1,4)){
   CPPRD(__AWaitConv_5,1);
   r=__AWaitConv_5;
  }else{
   CPPRD(__AWaitConv_6,1);
   r=__AWaitConv_6;}
 }else{
  switch(TGPRD(x1)){
   case 3:
    {OBJ x47=FLD(x1,1);
     if(EXPRD(x1,1)){
      DSPRDF(x1);
     }else{
      FRPRD(x1,1);}
     CPPRD(__AWaitConv_2,1);
     CPPRD(__AWaitConv_4,1);
     {OBJ x48;OBJ x49;
      x48=_ASignalConv_1(x47);
      ADenotation_4(x48,__AWaitConv_2,x49);
      ADenotation_4(__AWaitConv_4,x49,r);}}break;
   case 0:
    {OBJ x50=FLD(x1,1);
     if(EXPRD(x1,1)){
      DSPRDF(x1);
     }else{
      FRPRD(x1,1);}
     {OBJ x51;OBJ x52;
      if(ISTGPRM(x50,0)){
       CPPRD(__AWaitConv_2,1);
       CPPRD(__AWaitConv_7,1);
       CPPRD(__AProcessCtrlConv_8,1);
       x51=__AProcessCtrlConv_8;
      }else{
       CPPRD(__AWaitConv_2,1);
       CPPRD(__AWaitConv_7,1);
       CPPRD(__AProcessCtrlConv_9,1);
       x51=__AProcessCtrlConv_9;}
      ADenotation_4(x51,__AWaitConv_2,x52);
      ADenotation_4(__AWaitConv_7,x52,r);}}break;
   default: 
    {OBJ x44=FLD(x1,1);
     if(EXPRD(x1,1)){
      DSPRDF(x1);
     }else{
      FRPRD(x1,1);}
     CPPRD(__AWaitConv_2,1);
     CPPRD(__AWaitConv_3,1);
     {OBJ x45;OBJ x46;
      x45=_ASignalConv_1(x44);
      ADenotation_4(x45,__AWaitConv_2,x46);
      ADenotation_4(__AWaitConv_3,x46,r);}}}}
 return r;}

init_AWaitConv()
{
 static int visited=0; if(visited) return; visited=1;
 init_AWait();
 init_APair();
 init_AOption();
 init_ACom();
 init_AProcessCtrl();
 init_ASignal();
 init_AVoid();
 init_ANat();
 init_AReal();
 init_AQuadruple();
 init_ASeq();
 init_AFileSystem();
 init_AUserAndGroup();
 init_ADenotation();
 init_ASet();
 init_AChar();
 init_AString();
 init_ATime();
 init_AProcessCtrlConv();
 init_ASignalConv();
 init_AArray();
 init_AInt();
 DEN("EXITED(",__AWaitConv_7);
 DEN("SIGNALLED(<NONPOSIX>)",__AWaitConv_6);
 DEN("STOPPED(<NONPOSIX>)",__AWaitConv_5);
 DEN("STOPPED(",__AWaitConv_4);
 DEN("SIGNALLED(",__AWaitConv_3);
 DEN(")",__AWaitConv_2);
 CLS(1,_AWaitConv_1,__AWaitConv_1);}

