This test is buggy: printf is a varargs function. This fixes the test with