I am using an Intel Atom netbbok with LXLE 32 bit linux OS on ctrl-alt-F2 terminal. The screen has width of 128 characters in linux frame buffer. pretty-print gives line length 80. However when I print something it prints line to length of 128 chars. This is what I want. However there is a discrepancy between the 80 char default setting of line length and the actual line length. Perhaps this something to look into.