1reading symbolic information ... 27 38.0 4[1] stop in program 5[1] stopped in program at line 15 6 15 begin 7stopped in program at line 16 8 16 y := 3.0; 9stopped in program at line 17 10 17 x := f(y); 113.0 125.0 1310.5 14[3] stop in reals.f 15[3] stopped in reals.f at line 11 16 11 begin 17reals.f(x = 3.0), line 11 in "reals.p" 18program(), line 17 in "reals.p" 19main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xad 20 21execution completed 22 23