 BUILDDIR/xed-enc -64 sysret
