implementation void %test() { %X = alloca [4xint] ret void }