__divxc3
__fe_dfl_env
__mulxc3