TEMP/TODO fix test2/float/call/mixed_saturate.c