=== data_header ===
case: data_header (FIXED logic)
  result: ok=0 (expected 0: entry 0x8000 rejected vs bios_size=512)
exit=0
=== iio ===
case: iio (FIXED logic)
  result: walk stopped cleanly on opcode 200 (no trap)
exit=0
=== name ===
case: name (FIXED logic)
  strlen(name) after loop = 88 (<= 511: always terminated)
  result: copy bounded at image end (no trap)
exit=0
=== name_nul ===
case: name_nul (FIXED logic)
  strlen(name) after loop = 511 (<= 511: always terminated)
exit=0