
  VAR
    bav$labeled_tape_state_info: [XREF] bat$labeled_tape_state_info;

?? PUSH (LISTEXT := ON) ??
*copyc bat$labeled_tape_state_info
?? POP ??
