(assert_malformed
  (module binary
    "\00asm" "\01\00\00\00"
    "\01"                     ;; Type section id
    "\04"                     ;; Type section length
    "\01"                     ;; Types vector length
    "\5e"                     ;; Array type, -0x22
    "\78"                     ;; Storage type: i8 or -0x08
    "\02"                     ;; Mutability, should be 0 or 1, but isn't
  )
  "malformed mutability"
)