 TYPE
    nat$await_data_available = record
      wait_time: nat$wait_time,
      expected_wait_time: nat$wait_time,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc nat$wait_time
?? POP ??
