8 <$> const[IV 0] s 9 <2> add[t4] sK/2