
  TYPE
    nat$sk_completed_events = array [1..*] of nat$sk_completed_event;

*copyc nat$sk_completed_event
