begin
   comment LIBRARY 1;
   integerprocedure P(B);
      value
        B;
      boolean
        B;
      P ≔ (if B then 1 else 3·3) ÷ 6;
   OUTREAL(99, P(true));
   OUTREAL(99, P(false))
end