

#include "BUILTIN.h"
extern OBJ __ASeq_6;
extern OBJ _ASeq_26(OBJ,OBJ);extern OBJ __ASeq_26;

#include "Nat.h"

#include "Denotation.h"
extern OBJ _ASeqReduce_3(OBJ,OBJ,OBJ);extern OBJ __ASeqReduce_3;
extern OBJ __ALexem_33;
extern OBJ __ALexem_34;

#include "Char.h"

#include "Int.h"
extern OBJ _APragma_2(OBJ);OBJ __APragma_2; /* asPragma */
extern OBJ _APragma_3(OBJ);OBJ __APragma_3; /* asPragma? */
extern OBJ _APragma_4(OBJ);OBJ __APragma_4; /* asDeno */
OBJ __APragma_5; /* noPragma */
extern OBJ _APragma_7(OBJ,OBJ);OBJ __APragma_7; /* + */
extern OBJ _APragma_9(OBJ);OBJ __APragma_9; /* noPragma? */
extern OBJ _APragma_10(OBJ);OBJ __APragma_10; /* ` */
OBJ __APragma_11; /* `'11 */
OBJ __APragma_12; /* `'12 */
extern OBJ _APragma_13(OBJ);OBJ __APragma_13; /* `'13 */

extern OBJ _APragma_2(OBJ x1) /* asPragma */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _APragma_3(OBJ x1) /* asPragma? */
{OBJ r;
 FREE(x1,1);
 r=__ABUILTIN_5;
 return r;}

extern OBJ _APragma_4(OBJ x1) /* asDeno */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _APragma_7(OBJ x1,OBJ x2) /* + */
{OBJ r;
 r=_ASeq_26(x1,x2);
 return r;}

extern OBJ _APragma_9(OBJ x1) /* noPragma? */
{OBJ r;
 if(ISPRM(x1)){
  r=__ABUILTIN_5;
 }else{
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _APragma_10(OBJ x1) /* ` */
{OBJ r;
 if(ISPRM(x1)){
  CPPRD(__APragma_11,1);
  r=__APragma_11;
 }else{
  CPPRD(__APragma_11,1);
  CPPRD(__APragma_12,1);
  CPCLS(__APragma_13,1);
  CPCLS(__ADenotation_4,1);
  CPPRD(__ALexem_33,1);
  {OBJ x11;OBJ x12;OBJ x13;OBJ x14;
   x11=(*(OBJ(*)(OBJ,OBJ))METHOD(__APragma_13,1))(__APragma_13,__ABUILTIN_20);
   x12=_ASeqReduce_3(__ADenotation_4,__APragma_11,x1);
   ADenotation_4(x12,x11,x13);
   ADenotation_4(__APragma_12,x13,x14);
   ADenotation_4(__ALexem_33,x14,r);}}
 return r;}

extern OBJ _APragma_13(OBJ x1) /* `'13 */
{OBJ r;
 CPPRD(__APragma_12,1);
 CPPRD(__ALexem_34,1);
 ADenotation_4(__APragma_12,__ALexem_34,r);
 return r;}


init_APragma()
{
 static int visited=0; if(visited) return; visited=1;
 init_ASeq();
 init_ANat();
 init_AOption();
 init_ADenotation();
 init_ASeqReduce();
 init_ALexem();
 init_AChar();
 init_AInt();
 LCLS(1,_APragma_13,__APragma_13);
 DEN(" ",__APragma_12);
 DEN("",__APragma_11);
 CLS(1,_APragma_10,__APragma_10);
 CLS(1,_APragma_9,__APragma_9);
 CLS(2,_APragma_7,__APragma_7);
 CLS(1,_APragma_4,__APragma_4);
 CLS(1,_APragma_3,__APragma_3);
 CLS(1,_APragma_2,__APragma_2);
 __APragma_5=__ASeq_6;}

