%foo_8 = mul  nsw i32 %foo_1, 3 
%foo_13 = bitcast i32 %foo_8 to i32 
