

#include "BUILTIN.h"
extern OBJ __AVoid_2;
extern OBJ _ACom_25(OBJ);extern OBJ __ACom_25;

#include "Nat.h"
extern OBJ __AComService_4;
extern OBJ _AComService_5(OBJ,OBJ);extern OBJ __AComService_5;
OBJ __AComDeadlock_1; /* deadlock */
OBJ __AComDeadlock_2; /* deadSAP */



init_AComDeadlock()
{
 static int visited=0; if(visited) return; visited=1;
 init_AVoid();
 init_ACom();
 init_ANat();
 init_ASeq();
 init_AOption();
 init_AComService();
 init_ASeqMap();
 CPPRD(__AComService_4,1);
 __AComDeadlock_2=_ACom_25(__AComService_4);
 CPPRD(__AComDeadlock_2,1);
 __AComDeadlock_1=_AComService_5(__AComDeadlock_2,__AVoid_2);}

