private void println (string str, ...) {
	va_list args = va_list ();
	stdout.vprintf(str, args);
	stdout.putc('\n');
}

public static void main () {
	println ("foo %d x %s", 1, "bar");
}