         Parameters:  [any-comment]
  
 Marks  the  end  of  an  "Ask-User"  command sequence, and it is
 treated as a comment. 
