define x86_stdcallcc i32 @_foo([8192 x i8] %big_arg) {
entry:
  ret i32 1
}

define x86_stdcallcc i32 @_Dmain({ i64, { i64, i8* }* } %unnamed) {
entry:
  %buf = alloca [8192 x i8], align 1
  %tmp4 = load [8192 x i8]* %buf
  %tmp5 = call x86_stdcallcc i32 @_foo([8192 x i8] %tmp4)
  ret i32 %tmp5
}