i see the problem. eg, this chunk:
+#ifdef DEBUG_EXEC
if (old_abi != p->p_md.md_abi)
printf("pid %d(%s): ABI set to O32 (e_flags=%#x)\n", p->p_pid, p->p_comm, eh->e_flags);
break;
+#endif /* DEBUG_EXEC */
should not hide the "break;" line.
.mrg.