Here and below: 80 cols or less.