PRI_ld64
fprintf(stdout, " cpu: %"PRI_ld64, e->cpu);
fprintf(stdout, " tid: %"PRI_ld64, e->tid);
fprintf(stdout, " machine_pid: %"PRI_ld64, e2->machine_pid);