begin
   comment 'LIBRARY' 1;
   real
     X,
     Y;
   real procedure P(Z);
      value
        Z;
      real
        Z;
   begin
      X ≔ Z + Y
   end;
   real procedure Q(Z);
      value
        Z;
      real
        Z;
      if false then
        Q ≔ Z + X + Y;
   X ≔ Y ≔ 1·0;
   OUTREAL(99, P(10·0) + Q(100·0))
end