reading symbolic information ...
7 
8.0 
[1] stop in program
[1] stopped in program at line 15
   15   begin
stopped in program at line 16
   16       y := 3.0;
stopped in program at line 17
   17       x := f(y);
3.0 
5.0 
10.5 
[3] stop in reals.f
[3] stopped in reals.f at line 11
   11   begin
reals.f(x = 3.0), line 11 in "reals.p"
program(), line 17 in "reals.p"
main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xad

execution completed