
  PROCEDURE [XREF] jmp$get_attribute_name
    (    attribute_index: jmt$attribute_keys;
     VAR attribute_name: ost$name);

?? PUSH (LISTEXT := ON) ??
*copyc jmt$attribute_keys
*copyc ost$name
?? POP ??
