TYPE
  ost$segment_set = set of ost$segment;
?? PUSH (LISTEXT := ON) ??
*copyc osd$virtual_address
?? POP ??
