define void @hello_world() {
	ret void
}