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