Only make a single printf() call; does not significantly damage readability, but should significantly increase speed