mod operator and literal % in printf format string