Source position: lists.inc line 11
type Tvt_list = record
head: Pvt_listnode;
tail: Pvt_listnode;
tailpred: Pvt_listnode;
end;