BUILDDIR/xed-ex3 -64 sysret