reading symbolic information ... [1] stop in main [1] stopped in main at line 16 16 y = 3.0; stopped in main at line 16 16 y = 3.0; stopped in main at line 17 17 x = f(y); 3.0 5.0 10.5 [3] stop in f [3] stopped in f at 0x4e 0000004e brb 5b f(x = 3.0) at 0x4e main(0x1, 0x7fffebe8, 0x7fffebf0), line 17 in "float.c" execution completed