%verify "executed"
%include "x86/cvtfp_int.S" {"srcdouble":"0","tgtlong":"1"}