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