 TYPE
    nat$se_synchronize_req = record
      direction: nat$se_synchronize_direction,
      data: ^SEQ (*),
    recend;

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