 BUILDDIR/xed-enc -32 sysret
