begin comment LIBRARY 1; real procedure G(X); real X; G ≔ X + 1; real procedure A(H); real procedure H; comment (H1): 'REAL' H1; begin real procedure LOC(X); real X; LOC ≔ H(G(X)); A ≔ LOC(0); end A; real procedure B(F, H); real procedure F; comment (F1): 'REAL' F1; real procedure H; comment (H1): 'REAL' 'PROCEDURE' H1; B ≔ F(H(F) + A(G) + G(1)); OUTREAL(99, B(G, A)) end