  PROCEDURE [XREF] nfp$add_btf_task_to_list
    (    task_id: pmt$task_id;
         queue_id: pmt$queue_connection;
         network_address: nat$network_address;
         btfs_di_title: nft$btfs_di_title;
         station: ost$name;
         device: ost$name;
     VAR wait_list {input, output} : ^ost$i_wait_list;
     VAR wait_activity_list {input, output} : ^nft$wait_activity_list;
     VAR wait_list_sequence {input, output} : ^SEQ(*);
     VAR wait_activity_list_sequence {input, output} : ^SEQ(*);
     VAR new_btf_task: ^nft$btf_task);

?? PUSH (LISTEXT := ON) ??
*copyc nat$network_address
*copyc nft$btf_task
*copyc nft$btfs_di_title
*copyc nft$wait_activity_list
*copyc ost$i_wait
*copyc pmd$local_queues
*copyc pmt$task_id
?? POP ??
