
  TYPE
    dst$dft_resume_address = 0 .. 0ffff(16);
