format.c calls printh, and need not know uart's function.