
  TYPE
    stt$ast_index = 0 .. 0ffff(16);

