1@X = constant [1 x i32] [i32 8]
2@Y = external constant [1 x i32]
3