 TYPE
    iot$cylinders_to_initialize = packed record
      start_cylinder: 0 .. 0ffff(16),
      end_cylinder: 0 .. 0ffff(16),
    recend,

    iot$initialize_sectors = packed record
      fill1: ALIGNED [0 MOD 8] 0 .. 0ffffffff(16),
      cylinders: iot$cylinders_to_initialize,
    recend,

    iot$initialize_sector_list = packed record
      list: ALIGNED [0 MOD 4096] array [ * ] of iot$initialize_sectors,
    recend;
