%foo_13 = load  i32, i32* %foo_6, align 4 
