define dso_local i32 @main() #0 {
  %a = alloca [10 x i32], align 4
  ; ptr is the pointer with type i32*
  %ptr = getelementptr [10 x i32], [10 x i32]* %a, i64 0, i64 0
  %a0 = getelementptr i32, i32* %ptr, i64 0
  %a1 = getelementptr i32, i32* %ptr, i64 1  
  store i32 10, i32* %a0
  %v1 = load i32, i32* %a0
  %v2 = mul i32 %v1, 2
  store i32 %v2, i32* %a1
  %r = load i32, i32* %a1
  ret i32 %r

}