more ANSI warnings about printf in-lined types