1; RUN: %lli -jit-kind=mcjit %s > /dev/null
2; RUN: %lli %s > /dev/null
3
4@X = global i32 7		; <i32*> [#uses=0]
5@msg = internal global [13 x i8] c"Hello World\0A\00"		; <[13 x i8]*> [#uses=1]
6
7declare void @printf([13 x i8]*, ...)
8
9define void @bar() {
10	call void ([13 x i8]*, ...) @printf( [13 x i8]* @msg )
11	ret void
12}
13
14define i32 @main() {
15	call void @bar( )
16	ret i32 0
17}
18
19