I came up with this before I rediscovered "arch -x86_64"

inteldo.c

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int main(int argc, char *argv[])
{
    if (argc <= 1)
    {
        fprintf(stdout, "usage:\n\t%s cmd [args...]\n", argv[0]);
        exit(-1);
    }
    else
    {
        execvp(argv[1], argv + 1);
    }
}

compile

$ cc -Wall -Os -arch x86_64 -o inteldo inteldo.c

usage

$ inteldo cmd [args...]