def readline(self, prompt='<STR_LIT>', use_raw=None):
line = self.input.readline()<EOL>if not line: raise EOFError<EOL>return line.rstrip("<STR_LIT:\n>")<EOL>
Read a line of input. Prompt and use_raw exist to be
        compatible with other input routines and are ignored.
        EOFError will be raised on EOF.