%foo_10 = add  nsw i32 %foo_2, 53 
%foo_11 = mul  nsw i32 %foo_10, %foo_0 
%foo_13 = bitcast i32 %foo_11 to i32 
