name after envp, and the 0x1000 at the beginning is a pointer to the binary mach header (we don't emulate this correctly yet).