. . . "printf(%d\\n, x); // uh-oh, I thought x was an int!" .