1reading symbolic information ... 2includes.v 3includes.p 4var p : includes.T; 5included.T includes.T 6type T = record 7 a : integer; 8 b : integer; 9end; 10included.OT includes.OT 11type OT = integer; 12included.Blah 13[1] stop in Blah 14[1] stopped in Blah at line 6 in file "included.p" 15 6 begin 16Blah(), line 6 in "included.p" 17program(), line 13 in "includes.p" 18main(0x1, 0x7fffe7e4, 0x7fffe7ec) at 0x6d 19 20