begin
   comment 'LIBRARY'5;
   real PR;
   integer PI;
   boolean PB;
   PI ≔ 1;
   PR ≔ 0·0⏨0;
   PB ≔      if ¬ PI > 0 ∧ PI ⩾ 1 ∨ PI < 0 impl PR ⩽ 0≡ PI ≠ 0 then
     true
   else
     true;
   if PB then
     PR ≔ - 1 × PI⭡3 ÷ 2 +
     ENTIER(SIGN(SQRT(ABS(ARCTAN(LN(EXP(COS(SIN(1)))))
     )))) - (PR / (if PR = 0·0 then 3 else 3));
   begin
      switch PSW ≔ ENTRY, EXIT;
      own real array PRA[0 : 1];
      integer array PIA[2 : 3];
      boolean array PBA[ - 1 : 0];
      boolean procedure PFB;
         PFB ≔ false;
      procedure WRITE TEXT(OD, S);
         value OD;
         integer OD;
           string S;
         OUTREAL(99, OD);
      procedure ALL PARAMETERS(CSR, CSI, CSB, CA1, CA2, CB,
        CRFA, CIFA, CBFA, CFR, CFI, CFB, CL, CSL, CPR,
        CST, CSW, CAR, CAI, CAB);
         value CA1, CA2, CB, CRFA, CIFA, CBFA, CSL;
         integer CSI, CA2;
           real CSR, CA1;
           boolean CSB, CB;
           integer array CIFA, CAI;
           real array CRFA, CAR;
           real procedure CFR; comment(X): 'VALUE' X: 'REAL' X;
           integer procedure CFI; comment(X): 'VALUE' X: 'REAL' X;
           boolean procedure CFB;
           boolean array CBFA, CAB;
           procedure CPR;comment(D,S):'VALUE' D:'INTEGER' D:'STRING' S;
           string CST;
           switch CSW;
           label CL, CSL;
      begin
         real procedure TAKE FORMAL(TF);
            real TF;
            TAKE FORMAL ≔ TF;
         CAR[1] ≔ TAKE FORMAL(CA1);
         CAI[2] ≔ CA2;
         CAB[ - 1] ≔ CB;
         CPR(30, CST);
         CFB;
         CA2 ≔ CFI(1);
         goto CL;
      end ALL PARAMETERS;
      for PI ≔ PI + 1 while PI < 3,
        1 step 1 until 1,
        1 do
           PI ≔ PI ≔ PI;
      goto PSW[1];
      ENTRY :;
      ALL PARAMETERS(PR, PI, PB, 3·0, 3, false, PRA, PIA,
        PBA, SIN,  ENTIER, PFB, PSW[2], EXIT, WRITE
        TEXT, ““C”
        THIS$IS$A$STRING”, PSW, PRA, PIA, PBA);
      EXIT :;
      OUTREAL(99, PRA[1]+ PIA[2]+ PI + PR + (if PBA[ - 1]
        then 10 else 0));
   end;
end