@val = internal constant [1 x i16] [i16 1], align 8