define external void @foo([4096 x i8] * %a, [4096 x i8] * %b) {
  %1 = load [4096 x i8] * %a
  store [4096 x i8] %1, [4096 x i8] * %b
  ret void
}