; RUN: as < %s | opt -raise | dis | grep call | not grep '\.\.\.'

implementation

void %test(sbyte* %P) {
	%Q = cast sbyte* %P to void (...)*
	call void (...)* %Q(sbyte* %P)
	ret void
}