BUILDDIR/xed -64 -e PUSHFQ/64