A printf is called with a static format string.
Have any comments on this test case? Please, send us an email.