Fixup various functions in print.c to use common, consistent names for buffer pointers and lengths