8  <1> int[t4] sK/1