[attr-length-invalid-cast.html]
  expected: FAIL