
  PROCEDURE [XREF] dsp$save_boot_data_pointer
    (    data_kind: dst$boot_data_kinds;
         boot_data_p: ^SEQ ( * ));

?? PUSH (LISTEXT := ON) ??
*copyc dst$boot_data_kinds
?? POP ??
