4 | ty         [u32]
  | ^^