Index: tests/.expect/KRfunctions.x86.txt
===================================================================
--- tests/.expect/KRfunctions.x86.txt	(revision 35cc6d4773c9705fbac2d875d39d6aa6120e8f80)
+++ tests/.expect/KRfunctions.x86.txt	(revision e5d497d86c080493724b23b0b3b624d5becf3a9a)
@@ -99,6 +99,6 @@
     signed int _X1bi_2;
     {
-        signed int *(*_tmp_cp_ret8)(signed int __param_0, signed int __param_1);
-        ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret8=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret8)));
+        signed int *(*_tmp_cp_ret4)(signed int __param_0, signed int __param_1);
+        ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret4=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret4)));
     }