insult user-prog prints correctly. (Darned pointer math on the buffer!)