Got an error from vga with a missing newline; went through and found various others (I think all of them). Looking at context, it doesn't look like there's any odd usage which might call for not printing the newlines, but of course I don't have all these cards to test the errors.