Model varargs

[langston-barrett]

yapall/tests/pointer.rs

Lines 1652 to 1665 in 282ac3e

	// XFAIL(TODO): Can't handle exceptions yet
	#[test]
	#[should_panic(expected = "assertion failed: points_to_something")]
	fn varargs_o1() {
	let module = sound("varargs.c", 1);
	let _out = check(&module);
	}
	#[test]
	#[should_panic(expected = "assertion failed: points_to_something")]
	fn varargs_o2() {
	let module = sound("varargs.c", 2);
	let _out = check(&module);
	}