%notTailRec_11 = load  i32, i32* %notTailRec_3, align 4 
%notTailRec_12 = sub  nsw i32 %notTailRec_11, 2 
