declare i32 @getint()
declare float @getfloat()
declare i32 @getarray(i32* %arg.a)
declare i32 @getfarray(float* %arg.a)
declare i32 @getch()
declare void @putint(i32 %arg.x)
declare void @putfloat(float %arg.x)
declare void @putarray(i32 %arg.n, i32* %arg.a)
declare void @putfarray(i32 %arg.n, float* %arg.a)
declare void @putch(i32 %arg.x)
declare void @starttime()
declare void @stoptime()
define i32 @main() {
entry:
  %t0 = alloca i32
  store i32 10, i32* %t0
  %t1 = load i32, i32* %t0
  %t2 = mul i32 %t1, 2
  %t3 = add i32 %t2, 1
  ret i32 %t3
}