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