ask GCC to check the arguments given are consistent with the format string