%result = sext i17 %X to i32
%fmt = getelementptr [4 x i8]* @FORMAT, i32 0, i32 0
call i32 (i8*,...)* @printf(i8* %fmt, i32 %result)
%result = sext i17 %X to i32
%fmt = getelementptr [4 x i8]* @FORMAT, i32 0, i32 0
call i32 (i8*,...)* @printf(i8* %fmt, i32 %result)