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.