
  TYPE
    stt$jast_index = integer;
