Fix mismatches between the format and sign of variables passed to printf() or scanf(), which were found in a Frama-C analysis and gcc using the -Wformat-signedness option.