; RUN: %lli -jit-kind=mcjit %s > /dev/null
; RUN: %lli %s > /dev/null

@X = global i32 7		; <ptr> [#uses=0]
@msg = internal global [13 x i8] c"Hello World\0A\00"		; <ptr> [#uses=1]

declare void @printf(ptr, ...)

define void @bar() {
	call void (ptr, ...) @printf( ptr @msg )
	ret void
}

define i32 @main() {
	call void @bar( )
	ret i32 0
}