reading symbolic information ...
includes.v
includes.p
var p : includes.T;
included.T includes.T
type T = record
    a : integer;
    b : integer;
end;
included.OT includes.OT
type OT = integer;
included.Blah
[1] stop in Blah
[1] stopped in Blah at line 6 in file "included.p"
    6   begin
Blah(), line 6 in "included.p"
program(), line 13 in "includes.p"
main(0x1, 0x7fffe7e4, 0x7fffe7ec) at 0x6d