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