
  PROCEDURE [XREF] dmp$fetch_debug_option_value
    (    name: string ( * );
     VAR value: integer;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc ost$status
?? POP ??
