#include <stdio.h>
const char* good="%d %f\n";
const char* bad="%f %d\n";
int main(void) {
	int a = 42;
	double b = 375.0;
	printf(good, a, b);
	printf(bad, a, b);
return 0;
}