<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">         Parameters:  [#lines {1}]
  
 Sets  the current line pointer up to the previous line, or up by
 "#lines" if given. 
  
 If "#lines" points beyond the top of the file, the message "TOP"
 is printed, and the current line is set to the top line. 
</pre></body></html>